diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-29 06:40:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-29 06:40:27 +0000 |
commit | 42f89e550bb15d401c335ded7912a871b2b45af3 (patch) | |
tree | ccfe7440c45466deb823cae5f76b0a589c7b71d8 /src/bindings/compat/java | |
parent | c94347913fa464b1ec6a3da2ab21e319c0c42e02 (diff) |
build system fixes
Diffstat (limited to 'src/bindings/compat/java')
-rw-r--r-- | src/bindings/compat/java/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am index aa18c1119..25765f0f0 100644 --- a/src/bindings/compat/java/Makefile.am +++ b/src/bindings/compat/java/Makefile.am @@ -147,4 +147,4 @@ cvc4compat.jar: $(LIB_FILES:%=classes/cvc3/%.class) clean-local: rm -fr classes cvc3 -CLEANFILES = .cvc3dir .classes .headers cvc4compat.jar +MOSTLYCLEANFILES = .cvc3dir .classes .headers cvc4compat.jar $(JNI_CPP_FILES) |