clean is cleaner

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