From 0d3dba1276ce3f243ac784f3fa2efe160d5d7f74 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 2 Mar 2004 17:54:40 +0000 Subject: [PATCH 1/1] ... --- helm/gTopLevel/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile index 9cba34bc7..bb4a33f79 100644 --- a/helm/gTopLevel/Makefile +++ b/helm/gTopLevel/Makefile @@ -134,9 +134,9 @@ envtest: regtest envtest.opt: regtest.opt ./regtest.opt -dump $(INTESTS) 2> /dev/null librarytest: testlibrary - ./testlibrary -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG & + ./testlibrary -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG librarytest.opt: testlibrary.opt - ./testlibrary.opt -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG & + ./testlibrary.opt -vars -varsprefix cic:/Coq index.txt 2>/dev/null >LOG MAIN = ./gTopLevel ARGS = -- 2.39.2