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 86ba616576..48e9f3511d 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -462,7 +462,7 @@ if (`grep '^gmake[^:]*: .*Error' $BuildLog | wc -l` + 0 || $BuildStatus = "<h3><font color='red'>error: compilation " . "<a href=\"$DATE-Build-Log.txt\">aborted</a></font></h3>"; $BuildError = 1; - if ($VERBOSE) { print "BUILD ERROR\n"; } + print "\n***ERROR BUILDING TREE\n\n"; } if ($BuildError) { $NODEJAGNU=1; } |