From f576caac25e415b01fabe6dc8f4b959dc32c2752 Mon Sep 17 00:00:00 2001 From: Ian Lepore Date: Wed, 24 Apr 2019 23:51:12 +0000 Subject: [PATCH] Complain and exit the script if the 'make install' phase fails. Also, there is no need to install any debug files. --- tools/boot/rootgen.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/tools/boot/rootgen.sh b/tools/boot/rootgen.sh index 3d1da7266097..4f209cb24392 100755 --- a/tools/boot/rootgen.sh +++ b/tools/boot/rootgen.sh @@ -783,7 +783,11 @@ EOF # XXX cp /boot/device.hints ${DESTDIR}/boot/device.hints # Assume we're already built -make install DESTDIR=${DESTDIR} MK_MAN=no MK_INSTALL_AS_USER=yes +make install DESTDIR=${DESTDIR} MK_MAN=no MK_INSTALL_AS_USER=yes WITHOUT_DEBUG_FILES=yes +if [ $? -ne 0 ]; then + echo "make install failed" + exit 1 +fi # Copy init, /bin/sh, minimal libraries and testing /etc/rc mkdir -p ${DESTDIR}/sbin ${DESTDIR}/bin \ ${DESTDIR}/lib ${DESTDIR}/libexec \