diff options
Diffstat (limited to 'src/bindings/compat')
-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) |