diff options
Diffstat (limited to 'utils/NightlyTest.pl')
-rwxr-xr-x | utils/NightlyTest.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index 453f1c743e..0c99c6248f 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -445,6 +445,8 @@ if(!$NODEJAGNU) { CopyFile("test/testrun.sum", $DejagnuSum); $DejagnuTestResults = GetDejagnuTestResults($DejagnuSum, $DejagnuLog); + print $DejagnuTestResults; + } else { $DejagnuTestResults = "Skipped by user choice."; $DejagnuTime = "0.0"; |