fixed RAW target;
authorwenzelm
Fri Oct 17 18:03:46 1997 +0200 (1997-10-17)
changeset 3926f5e499fda22c
parent 3925 90f499226ab9
child 3927 27c63b757af5
fixed RAW target;
src/Pure/IsaMakefile
     1.1 --- a/src/Pure/IsaMakefile	Fri Oct 17 17:42:39 1997 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Fri Oct 17 18:03:46 1997 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  $(OUT)/Pure: $(FILES)
     1.5  	@./mk
     1.6  
     1.7 -$(OUT)/RAW: $(FILES)
     1.8 +RAW: $(FILES)
     1.9  	@./mk -r
    1.10  
    1.11  test: Pure