Signed-off-by: Michael Tremer --- make.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/make.sh b/make.sh index 9c88592da..756b27f7a 100755 --- a/make.sh +++ b/make.sh @@ -285,6 +285,7 @@ stdumount() { umount $BASEDIR/build/usr/src/log 2>/dev/null; umount $BASEDIR/build/usr/src/src 2>/dev/null; umount $BASEDIR/build/usr/src 2>/dev/null; + umount $BASEDIR/build/tmp 2>/dev/null; } now() { -- 2.20.1