# HG changeset patch
# User wenzelm
# Date 882522895 -3600
# Node ID 42cdcacb60e2237a852d29cd29c75b453e682e64
# Parent  9ed4098074bcc346a5225f59b7d22fd49afe4755
'clean' target;

diff -r 9ed4098074bc -r 42cdcacb60e2 src/Pure/IsaMakefile
--- 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