diff --git a/scripts/Cleanup b/scripts/Cleanup
index 8276132e6..f79bcc99d 100755
--- a/scripts/Cleanup
+++ b/scripts/Cleanup
@@ -95,7 +95,7 @@ for x in build/* ; do
 		[ "$delme" = 0 ] && continue
 	fi
 	if [ $fullclean = 1 ] ; then
-		for y in dev proc ROCK/loop ROCK/config ROCK/download; do
+		for y in proc 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
 			rmdir  "$x/$y" > /dev/null 2>&1