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

This commit is contained in:
Ron Koenderink 2007-12-13 13:41:09 +00:00
parent bcd7dac414
commit 799ca210ff

View file

@ -177,7 +177,7 @@ in
# 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