# HG changeset patch # User oheimb # Date 830270662 -7200 # Node ID 608196238072f07d183c92c68c4ec8298b2f56ce # Parent d706a6dce9305feb845bd622d708e92e81e85af5 included (empty) test goal for symmetry reasons diff -r d706a6dce930 -r 608196238072 src/Pure/Makefile --- a/src/Pure/Makefile Tue Apr 23 12:38:16 1996 +0200 +++ b/src/Pure/Makefile Tue Apr 23 16:44:22 1996 +0200 @@ -52,4 +52,8 @@ $(COMP) is not poly or sml;;\ esac + +test: $(BIN)/Pure + + .PRECIOUS: $(BIN)/Pure