diff options
Diffstat (limited to 'bin/auto_run_tests.pl')
| -rwxr-xr-x | bin/auto_run_tests.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/auto_run_tests.pl b/bin/auto_run_tests.pl index 3a9f72f8d2c..57431af787b 100755 --- a/bin/auto_run_tests.pl +++ b/bin/auto_run_tests.pl @@ -105,17 +105,17 @@ foreach my $test_lst (@file_list) { } chdir ($ACE_ROOT."/$directory") - || print STDERR "ERROR: Cannot chdir to $ACE_ROOT/$directory" || next; + || die "Error: Cannot chdir to $ACE_ROOT/$directory"; if ($program =~ /(.*?) (.*)/) { if (! -e $1) { - print STDERR "ERROR: $directory.$1 does not exist\n"; + print STDERR "Error: $directory.$1 does not exist\n"; next; } } else { if (! -e $program) { - print STDERR "ERROR: $directory.$program does not exist\n"; + print STDERR "Error: $directory.$program does not exist\n"; next; } } |