flag an explicit error if make/gmake/$MAKE cannot be found

rumpkernel · Jun 23, 2015 · 01c79c2 · 01c79c2
1 parent 424061c
commit 01c79c2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build-rr.sh b/build-rr.sh
@@ -56,6 +56,7 @@ if [ -z "${MAKE}" ]; then
 	MAKE=make
 	! type gmake >/dev/null 2>&1 || MAKE=gmake
 fi
+type ${MAKE} >/dev/null 2>&1 || die ``make'' required but not found
 
 
 #