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 57431af787b..3a9f72f8d2c 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") - || die "Error: Cannot chdir to $ACE_ROOT/$directory"; + || print STDERR "ERROR: Cannot chdir to $ACE_ROOT/$directory" || next; 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; } } |