projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 256bb47)
minor fix to build system for system tests
authorMorgan Deters <mdeters@gmail.com>
Thu, 2 Jun 2011 22:17:56 +0000 (22:17 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 2 Jun 2011 22:17:56 +0000 (22:17 +0000)
test/unit/Makefile.am patch | blob | history

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index 3b05765fd71b717b0a1229089c42b7d8b732be7d..cef4590a38ea65b42e18900cd35c791102427d0a 100644 (file)
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -184,7 +184,7 @@ endif
 units test: check
 
 # no-ops here
-.PHONY: regress regress0 regress1 regress2 regress3
+.PHONY: systemtests regress regress0 regress1 regress2 regress3
 regress regress0 regress1 regress2 regress3:
 
 if HAVE_CXXTESTGEN