From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 2 Jun 2011 22:17:56 +0000 (+0000)
Subject: minor fix to build system for system tests
X-Git-Tag: cvc5-1.0.0~8536
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d935021323ca343da5359fa54bc62184d47ccd1b;p=cvc5.git

minor fix to build system for system tests
---

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index 3b05765fd..cef4590a3 100644
--- 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