diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-28 09:35:43 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-28 09:36:00 -0500 |
commit | e796efe0adb98dc2572ab57d5dc62b8eb11478c0 (patch) | |
tree | abc704b16240d785435aa63245705bbe036f8411 /Makefile.am | |
parent | f0a621b5cd4478ea9b7263ebe1d162495553e1a9 (diff) |
More work on sygus. Add regress4 to Makefile.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 55c357def..bface9536 100644 --- a/Makefile.am +++ b/Makefile.am @@ -21,8 +21,8 @@ examples: all install-examples: (cd examples && $(MAKE) $(AM_MAKEFLAGS) install-data) -.PHONY: units systemtests regress regress0 regress1 regress2 regress3 -systemtests regress regress0 regress1 regress2 regress3: all +.PHONY: units systemtests regress regress0 regress1 regress2 regress3 regress4 +systemtests regress regress0 regress1 regress2 regress3 regress4: all +(cd test && $(MAKE) $(AM_MAKEFLAGS) $@) || exit 1 # We descend into "src" with the "check" target here to ensure that # the test prerequisites are all built. |