make.sh: Umount /tmp when it is a ramdisk

Message ID 20200310132853.22986-1-michael.tremer@ipfire.org
State Accepted
Commit cb658c8c5c291ea46da7a96ba6322d225f0b9e8e
Headers
Series make.sh: Umount /tmp when it is a ramdisk |

Commit Message

Michael Tremer March 10, 2020, 1:28 p.m. UTC
  Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---
 make.sh | 1 +
 1 file changed, 1 insertion(+)
  

Patch

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() {