src/Pure/IsaMakefile
changeset 4441 42cdcacb60e2
parent 4427 6d4545f809e5
child 4484 220ccae8a590
     1.1 --- a/src/Pure/IsaMakefile	Fri Dec 19 10:13:47 1997 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Fri Dec 19 10:14:55 1997 +0100
     1.3 @@ -29,6 +29,10 @@
     1.4  RAW: $(FILES)
     1.5  	@./mk -r
     1.6  
     1.7 -test: Pure
     1.8 +test: $(OUT)/Pure
     1.9 +
    1.10 +clean:
    1.11 +	@rm -f $(OUT)/Pure $(OUT)/RAW
    1.12 +
    1.13  
    1.14  .PRECIOUS: $(OUT)/Pure $(OUT)/RAW