*** empty log message ***

diff --git a/tools/Makefile b/tools/Makefile
index f6d1aba2c0effe8a52f2e113728542aca427b07f..10af965f3c2e466f40be54a79d27737c59b28014 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* *.iso *.iso.gz cdfdimage rootimage
 

diff --git a/tools/release.sh b/tools/release.sh
index 899a996198c75b2a6be78a5527712ef4ff0ab2f3..12a072ea93fe32690b2e36aec23b3c7772ecb9cb 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -176,6 +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 $RAM || exit
 dd if=$RAM of=$ROOTIMAGE bs=$BS count=$ROOTBLOCKS
 (cd ../boot && make)