Add a checkout target to cgtests.mk.

This commit is contained in:
Adam Sampson 2008-02-29 21:46:45 +00:00
parent 49585a1922
commit 58f0775411

View File

@ -4,6 +4,9 @@ tests = $(patsubst %.occ,%,$(wildcard cgtests/cgtest??.occ))
all: $(tests)
checkout:
svn co http://projects.cs.kent.ac.uk/projects/kroc/svn/kroc/trunk/tests/cgtests
cgtests/%: cgtests/%.occ
./tock -v --backend=cppcsp -o $@ $<