diff --git a/cgtests.mk b/cgtests.mk
index eb2f721..cb2b12d 100644
--- a/cgtests.mk
+++ b/cgtests.mk
@@ -14,6 +14,9 @@ checkout:
 %: %.occ
 	./tock -vk --backend=$(BACKEND) -o $@ $<
 
+run: $(tests)
+	cd cgtests && ./run-tests
+
 run-all: $(addprefix run-,$(tests))
 
 run-cgtests/%: cgtests/%