diff --git a/scripts/Cleanup b/scripts/Cleanup index 4f9a34b61..fa1f3dea5 100755 --- a/scripts/Cleanup +++ b/scripts/Cleanup @@ -105,7 +105,7 @@ for x in build/* ; do [ "$delme" = 0 ] && continue fi if [ $fullclean = 1 ] ; then - for y in proc ROCK/loop ROCK/config ROCK/download; do + for y in proc dev/pts dev/shm dev ROCK/loop ROCK/config ROCK/download; do umount -d -f "$x/$y" > /dev/null 2>&1 umount -d -f -l "$x/$y" > /dev/null 2>&1 if [ $umount = 0 ]; then