[debug]

peterschrammel · peterschrammel · commit 2c34bc5b739f · 2020-12-30T15:46:42.000+01:00
diff --git a/jbmc/CMakeLists.txt b/jbmc/CMakeLists.txt
@@ -3,7 +3,7 @@ add_subdirectory(src)
 add_subdirectory(unit)
 
 add_custom_target(java-models-library ALL
-    COMMAND mvn --quiet -Dmaven.test.skip=true package
+    COMMAND mvn --batch-mode -Dmaven.test.skip=true package -X
     COMMAND ${CMAKE_COMMAND} -E copy target/core-models.jar ${CMAKE_CURRENT_SOURCE_DIR}/src/java_bytecode/library/
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/lib/java-models-library
 )

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@ add_subdirectory(src)`
`3`	`3`	`add_subdirectory(unit)`
`4`	`4`
`5`	`5`	`add_custom_target(java-models-library ALL`
`6`		`- COMMAND mvn --quiet -Dmaven.test.skip=true package`
	`6`	`+ COMMAND mvn --batch-mode -Dmaven.test.skip=true package -X`
`7`	`7`	`COMMAND ${CMAKE_COMMAND} -E copy target/core-models.jar ${CMAKE_CURRENT_SOURCE_DIR}/src/java_bytecode/library/`
`8`	`8`	`WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/lib/java-models-library`
`9`	`9`	`)`