Project

General

Profile

Revision a1daa793 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

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

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

  

Also available in: Unified diff