diff --git a/mps/qa/test/qa b/mps/qa/test/qa index c5d8c0dc422..662529ec0c3 100644 --- a/mps/qa/test/qa +++ b/mps/qa/test/qa @@ -71,7 +71,10 @@ $qa_command = shift(@qa_args); foreach (keys %qa_options) { unless (eval("$".$qa_options{$_})) { - die "Error: you must specify $qa_options{$_} (use the -$_ option).\n"; + eval("$".$qa_options{$_}." = \$ENV{'".$qa_options{$_}."'}"); + unless (eval("$".$qa_options{$_})) { + die "Error: please specify $qa_options{$_} (use the -$_ option).\n"; + } } }