]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/Makefile
Improved regression testing reporting.
[helm.git] / helm / gTopLevel / Makefile
index 0f3318ab29340e6163adddc1d748aa7f4efcd128..c1aa8c60fbe4fae22d0cf827432a38aaaf02622e 100644 (file)
@@ -88,9 +88,9 @@ cleantest:
 tests/%.cic.test: tests/%.cic regtest
        time ./regtest -gen $<
 test:
-       time ./regtest $(INTESTS)
+       ./regtest $(INTESTS) 2> /dev/null
 envtest:
-       time ./regtest -dump $(INTESTS)
+       ./regtest -dump $(INTESTS) 2> /dev/null
 
 ifneq ($(MAKECMDGOALS), depend)
    include .depend