diff options
Diffstat (limited to 'ACE/bin/auto_run_tests.pl')
-rwxr-xr-x | ACE/bin/auto_run_tests.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ACE/bin/auto_run_tests.pl b/ACE/bin/auto_run_tests.pl index af901ae17a4..10b38b0b9a1 100755 --- a/ACE/bin/auto_run_tests.pl +++ b/ACE/bin/auto_run_tests.pl @@ -176,9 +176,9 @@ foreach my $test_lst (@file_list) { if (! $is_ace_test) { print "auto_run_tests: $test\n"; - #$ENV{COVERITY_TEST_NAME} = $test; - #$ENV{COVERITY_SUITE_NAME} = $test_lst; - #$ENV{COVERITY_TEST_SOURCE} = "$directory/$program"; + $ENV{COVERITY_TEST_NAME} = $test; + $ENV{COVERITY_SUITE_NAME} = $test_lst; + $ENV{COVERITY_TEST_SOURCE} = "$directory/$program"; } my($orig_dir) = $directory; |