Makefile
changeset 1426 e84c69b43cdb
parent 1423 76239f0cb0dc
child 2207 8a2a7f7d9df6
--- a/Makefile	Mon Oct 24 14:53:25 2005 -0700
+++ b/Makefile	Mon Oct 24 14:53:36 2005 -0700
@@ -18,6 +18,9 @@
 tests:
 	cd tests && ./run-tests
 
+test-%:
+	cd tests && ./run-tests $@
+
 doc:
 	$(MAKE) -C doc