$OpenBSD: patch-Makefile,v 1.1.1.1 2015/09/05 00:20:08 daniel Exp $

Convenience test target

--- Makefile.orig	Tue Sep  1 01:54:46 2015
+++ Makefile	Tue Sep  1 01:59:48 2015
@@ -158,7 +158,7 @@ runtime:
 
 FORCE:
 
-.PHONY: proof extraction runtime FORCE
+.PHONY: proof extraction runtime test FORCE
 
 documentation: doc/coq2html $(FILES)
 	mkdir -p doc/html
@@ -228,6 +228,10 @@ ifeq ($(CCHECKLINK),true)
 	install -m 0755 ./cchecklink $(BINDIR)
 endif
 	$(MAKE) -C runtime install
+
+test:
+	$(MAKE) -C test
+	$(MAKE) -C test test
 
 clean:
 	rm -f $(patsubst %, %/*.vo, $(DIRS))
