Add -k option to the make so more than one error can be found.

diff --git a/src/scripts/nightly/nightlybuild.sh b/src/scripts/nightly/nightlybuild.sh
index ab7f1132a18679769eba919eaa6c90f5e3b7ebe0..1adc8d7f0a5348b4b23f10d3ff14386c9bb9422e 100755 (executable)
--- a/src/scripts/nightly/nightlybuild.sh
+++ b/src/scripts/nightly/nightlybuild.sh
@@ -177,7 +177,7 @@ in
 
 # Start the build
 echo "Building server"
 
 # Start the build
 echo "Building server"

-if make install >/dev/null
+if make -k install >/dev/null

 then
        warn "make did not return 0"
 fi
 then
        warn "make did not return 0"
 fi