projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
365027d
)
fix typos in Makefile.am for unit testing
author
Morgan Deters
<mdeters@gmail.com>
Thu, 17 Dec 2009 17:03:43 +0000
(17:03 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Thu, 17 Dec 2009 17:03:43 +0000
(17:03 +0000)
test/unit/Makefile.am
patch
|
blob
|
history
diff --git
a/test/unit/Makefile.am
b/test/unit/Makefile.am
index ca85a779f1e50d48c75be832f9a389d0dac0b770..9c1c1c56bede8528d8aaedd6e591df12b324b84d 100644
(file)
--- a/
test/unit/Makefile.am
+++ b/
test/unit/Makefile.am
@@
-2,9
+2,9
@@
if HAVE_CXXTESTGEN
AM_CPPFLAGS = \
-I. "-I@CXXTEST@" "-I@top_srcdir@/src/include" "-I@top_srcdir@/src"
-AM_CXXFL
GA
S_WHITE = -fno-access-control
-AM_CXXFL
GA
S_BLACK =
-AM_CXXFL
GA
S_PUBLIC =
+AM_CXXFL
AG
S_WHITE = -fno-access-control
+AM_CXXFL
AG
S_BLACK =
+AM_CXXFL
AG
S_PUBLIC =
AM_LDFLAGS_WHITE = \
@abs_top_builddir@/src/context/libcontext.la \
@abs_top_builddir@/src/expr/libexpr.la \