Project

General

Profile

Revision e41592cf test/Makefile

View differences:

test/Makefile
4 4
	@bash ./test-compile.sh -a -v 2 tests_ok.list
5 5
	@rm build/*.o
6 6

  
7
horn:
8
	@bash ./regression.sh -r -v 2 horn_regression.list
9

  
7 10
clean:
8 11
	@rm -rf build
9 12
	@for i in `find . -iname *.lusi`; do grep generated $$i > /dev/null; if [ $$? -eq 0 ]; then rm $$i; fi; done
10 13

  
11 14
distclean: clean
12
	@rm -rf report*
13

  
15
	@rm -rf horn-report*

Also available in: Unified diff