make: no need to delete ignored files

This commit is contained in:
Franco Fichtner 2018-09-22 10:18:10 +02:00
parent cd5a171966
commit 8a2d2be72c

View File

@ -165,7 +165,6 @@ umount:
@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; \