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 053067e4da..39db5d3324 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -548,7 +548,7 @@ if($RUNDEJAGNU) { #Run the feature and regression tests, results are put into testrun.sum #Full log in testrun.log - system "time -p gmake $MAKEOPTS check-dejagnu > $dejagnu_output 2>&1"; + system "(time -p gmake $MAKEOPTS check-dejagnu) > $dejagnu_output 2>&1"; #Extract time of dejagnu tests my $DejagnuTimeU = GetRegexNum "^user", 0, "([0-9.]+)", "$dejagnu_output"; |