make: garbage in, garbage out for live mount

531e3036 · Franco Fichtner · 2cacc4b5 · 531e3036
Commit 531e3036 authored Mar 18, 2016 by Franco Fichtner
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

Makefile Makefile +1 -0

No files found.
--- a/Makefile
+++ b/Makefile
@@ -26,6 +26,7 @@ umount: force
 	@if [ -f ${WRKDIR}/.mount_done ]; then \
 	    echo -n "Disabling core.git live mount..."; \
 	    umount -f "<above>:${.CURDIR}/src"; \
+	    rm ${.CURDIR}/src/opnsense/version/opnsense; \
 	    rm ${WRKDIR}/.mount_done; \
 	    echo "done"; \
 	    service configd restart; \