From 58f077541153a759b698a32398f6650e6180e728 Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Fri, 29 Feb 2008 21:46:45 +0000
Subject: [PATCH] Add a checkout target to cgtests.mk.

---
 cgtests.mk | 3 +++
 1 file changed, 3 insertions(+)

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 $@ $<