We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b7fd3b7 commit 46d5b6fCopy full SHA for 46d5b6f
jbmc/CMakeLists.txt
@@ -56,3 +56,8 @@ add_custom_command(OUTPUT ${java_regression_compiled_sources}
56
add_custom_target(java-regression ALL
57
DEPENDS ${java_regression_compiled_sources}
58
)
59
+
60
+set_property(
61
+ TARGET java-regression
62
+ APPEND
63
+ PROPERTY ADDITIONAL_CLEAN_FILES ${java_regression_compiled_sources})
0 commit comments