From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 2 Mar 2004 17:54:40 +0000 (+0000)
Subject: ...
X-Git-Tag: v0_0_4~51
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0d3dba1276ce3f243ac784f3fa2efe160d5d7f74;p=helm.git

...
---

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 =