diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index 86ba616576c..48e9f3511d6 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -462,7 +462,7 @@ if (`grep '^gmake[^:]*: .*Error' $BuildLog | wc -l` + 0 || $BuildStatus = "

error: compilation " . "aborted

"; $BuildError = 1; - if ($VERBOSE) { print "BUILD ERROR\n"; } + print "\n***ERROR BUILDING TREE\n\n"; } if ($BuildError) { $NODEJAGNU=1; }