summaryrefslogtreecommitdiff
path: root/auto/clean
diff options
context:
space:
mode:
Diffstat (limited to 'auto/clean')
-rwxr-xr-xauto/clean10
1 files changed, 10 insertions, 0 deletions
diff --git a/auto/clean b/auto/clean
index 05c53de..fb261dd 100755
--- a/auto/clean
+++ b/auto/clean
@@ -19,3 +19,13 @@ then
rmdir --ignore-fail-on-non-empty config
fi
+# umount tmpfs
+if [ -e tmpfs ]; then
+ case "$1" in
+ --tmpfs|--all)
+ [ "$(stat --printf "%d\n" . tmpfs | uniq -u)" ] && umount tmpfs;;
+ esac
+ [ "$1" = "--tmpfs" ] && exit 1
+fi
+
+exit 0