diff options
| -rwxr-xr-x | utils/NightlyTest.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index c90a2c2..12ef6dd 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -270,7 +270,7 @@ chdir "test/Programs" or die "Could not change into programs testdir!"; # Run the programs tests... creating a report.nightly.html file if (!$NOTEST) { system "gmake $MAKEOPTS report.nightly.html TEST=nightly " - . "> $Prefix-ProgramTest.txt 2>&1"; + . "RUNTIMELIMIT=300 > $Prefix-ProgramTest.txt 2>&1"; } else { system "gunzip $Prefix-ProgramTest.txt.gz"; } |