From 5af9a9e9f2f210a1c2a7965da05d4af67ab81da4 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 3 Feb 2004 14:29:06 +0000
Subject: [PATCH] time added to regtest

---
 helm/gTopLevel/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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   
-- 
2.39.2