diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 19:12:43 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 19:12:43 +0000 |
commit | 1dfb57de029dbef0b5d05561891f841b5ba87291 (patch) | |
tree | af5e68857b43c84a175dc3f5c692bc38213821cb /Makefile.am | |
parent | d4e7b9cce6947498738bd3cfb67c11e3bf6c8dbe (diff) |
coding standard fix on SmtEngine; fix recursive make
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 07a91f21a..20d6298f4 100644 --- a/Makefile.am +++ b/Makefile.am @@ -16,4 +16,3 @@ production debug default competition: else \ ./configure --with-build=$@ $(CONFARGS) && $(MAKE); \ fi - |