diff options
Diffstat (limited to 'src/bindings/Makefile.am')
| -rw-r--r-- | src/bindings/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am index fcfcb9409..9de484d1c 100644 --- a/src/bindings/Makefile.am +++ b/src/bindings/Makefile.am @@ -19,8 +19,6 @@ AM_CPPFLAGS = \ -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall -SUBDIRS = compat - # any binding-specific flags to pass to swig java_cpp_SWIGFLAGS = -package edu.nyu.acsys.CVC4 |