*** empty log message ***

diff --git a/tools/Makefile b/tools/Makefile
index 10af965f3c2e466f40be54a79d27737c59b28014..a04be7b33c985f8fe10e8a096925640beb6d7195 100755 (executable)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -102,5 +102,5 @@ clean:
        cd ../kernel && $(MAKE) $@
        cd ../servers && $(MAKE) $@
        cd ../drivers && $(MAKE) $@
-       rm -f *.bak image* *.iso *.iso.gz cdfdimage rootimage
+       rm -f *.bak image image_small *.iso *.iso.gz cdfdimage rootimage
 

diff --git a/tools/release.sh b/tools/release.sh
index 12a072ea93fe32690b2e36aec23b3c7772ecb9cb..eca4b646597a16a5a4cf8df2e7c7239ace5a77fd 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -176,7 +176,7 @@ echo "Temporary filesystems still mounted. Make changes, or press RETURN"
 echo -n "to continue making the image.."
 read xyzzy
 umount $TMPDISK || exit
-umount TMPDISK2 || exit
+umount $TMPDISK2 || exit
 umount $RAM || exit
 dd if=$RAM of=$ROOTIMAGE bs=$BS count=$ROOTBLOCKS
 (cd ../boot && make)