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