--- a/src/Pure/IsaMakefile Fri Dec 19 10:13:47 1997 +0100
+++ b/src/Pure/IsaMakefile Fri Dec 19 10:14:55 1997 +0100
@@ -29,6 +29,10 @@
RAW: $(FILES)
@./mk -r
-test: Pure
+test: $(OUT)/Pure
+
+clean:
+ @rm -f $(OUT)/Pure $(OUT)/RAW
+
.PRECIOUS: $(OUT)/Pure $(OUT)/RAW