src/Pure/Makefile
changeset 1671 608196238072
parent 1594 b776e3223dd6
child 2023 aa25f20c5d8b
     1.1 --- a/src/Pure/Makefile	Tue Apr 23 12:38:16 1996 +0200
     1.2 +++ b/src/Pure/Makefile	Tue Apr 23 16:44:22 1996 +0200
     1.3 @@ -52,4 +52,8 @@
     1.4                  	$(COMP) is not poly or sml;;\
     1.5  	esac
     1.6  
     1.7 +
     1.8 +test: $(BIN)/Pure
     1.9 +	
    1.10 +
    1.11  .PRECIOUS:  $(BIN)/Pure