From 174028dbbe1f9f388d5d268bb43c7937e1ccbcce Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Mon, 14 Mar 2016 13:08:48 +0100 Subject: [PATCH] make: prevent package build in live mount mode The two are mutually exclusive. --- Makefile | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index d775349ff..cfa5446ff 100644 --- a/Makefile +++ b/Makefile @@ -13,19 +13,21 @@ PKGDIR= ${WRKDIR}/pkg mount: force @if [ ! -f ${WRKDIR}/.mount_done ]; then \ - echo "Enabling core.git live mount..."; \ + echo -n "Enabling core.git live mount..."; \ ${.CURDIR}/scripts/version.sh > \ ${.CURDIR}/src/opnsense/version/opnsense; \ mount_unionfs ${.CURDIR}/src /usr/local; \ touch ${WRKDIR}/.mount_done; \ + echo "done"; \ service configd restart; \ fi umount: force @if [ -f ${WRKDIR}/.mount_done ]; then \ - echo "Disabling core.git live mount..."; \ + echo -n "Disabling core.git live mount..."; \ umount -f ":${.CURDIR}/src"; \ rm ${WRKDIR}/.mount_done; \ + echo "done"; \ service configd restart; \ fi @@ -178,6 +180,9 @@ plist: force @${MAKE} -C ${.CURDIR}/src plist package: force + @if [ -f ${WRKDIR}/.mount_done ]; then \ + echo "Cannot continue with live mount"; exit 1; \ + fi @${PKG} info gettext-tools > /dev/null @${PKG} info git > /dev/null @rm -rf ${WRKSRC} ${PKGDIR}