time added to regtest

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index abe03e42deea4548ab18076141e04d2f86a318cc..e51e1a6e84bd0a5ec56ed7cbb183cdb6f0181711 100644 (file)
--- 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