From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Feb 2004 14:29:06 +0000 (+0000)
Subject: time added to regtest
X-Git-Tag: V_0_2_3~91
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5af9a9e9f2f210a1c2a7965da05d4af67ab81da4;p=helm.git

time added to regtest
---

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index abe03e42d..e51e1a6e8 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -83,9 +83,9 @@ uninstall:
 TESTS := $(patsubst %, %.test, $(wildcard tests/*.cic))
 gentest: $(TESTS)
 tests/%.cic.test: tests/%.cic
-	./regtest -gen $<
+	time ./regtest -gen $<
 test:
-	./regtest $(TESTS)
+	time ./regtest $(TESTS)
 
 ifneq ($(MAKECMDGOALS), depend)
    include .depend