'clean' target;
authorwenzelm
Fri Dec 19 10:14:55 1997 +0100 (1997-12-19)
changeset 444142cdcacb60e2
parent 4440 9ed4098074bc
child 4442 8ed9e689a15e
'clean' target;
src/Pure/IsaMakefile
     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