diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-18 15:20:00 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-18 15:20:00 -0800 |
commit | c1f42884d4a277c2dadb876c967d0d7097b7b5f0 (patch) | |
tree | d893e61e1790e8c7ec8d0db9bc4e420b25014fc1 /test/system/Makefile.am | |
parent | d667fcca0c61cc0d7e08bce59c82dab338b4c071 (diff) | |
parent | 0b94114e4e2aad0fe029190525949c97b32c80ae (diff) |
Merge pull request #110 from 4tXJ7f/fix_makefiles
Fix Makefiles in test
Diffstat (limited to 'test/system/Makefile.am')
-rw-r--r-- | test/system/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 6d278409e..55a6c2b09 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -115,5 +115,5 @@ export VERBOSE = 1 test systemtests: check # no-ops here -.PHONY: units regress regress0 regress1 regress2 regress3 -units regress regress0 regress1 regress2 regress3: +.PHONY: units regress regress0 regress1 regress2 regress3 regress4 +units regress regress0 regress1 regress2 regress3 regress4: |