diff --git a/cgtests.mk b/cgtests.mk
index bcc56dd..d8926ac 100644
--- a/cgtests.mk
+++ b/cgtests.mk
@@ -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 $@ $<