From 33846f488645d1821122f3aeeba6a8085adeeffe Mon Sep 17 00:00:00 2001 From: Alexander Kriegisch Date: Thu, 10 Jun 2021 12:11:03 +0700 Subject: Document build profiles and properties in docs/developer/BUILD.md In doing so, I also noticed a few things in need of improvement. So, documenting the build also drive those enhancements, such as - the new 'fast-build' profile skipping test compilation and execution as well as documentation generation, - an option to skip generating source assemblies, - to skip unzipping source assemblies if javadoc generation for them is to be skipped too, - activating the 'create-docs' profile by property which is true by default instead of using 'activeByDefault=true', because the latter does not work reliably if other profiles are activated manually according to a Maven bug that was closed as "won't fix", - no longer generating separate javadocs for the 'runtime' module, because that module is not deployed and the main artifacts recreate Javadocs from scratch for all of their constituent sources anyway. Signed-off-by: Alexander Kriegisch --- run-all-junit-tests/pom.xml | 3 --- 1 file changed, 3 deletions(-) (limited to 'run-all-junit-tests/pom.xml') diff --git a/run-all-junit-tests/pom.xml b/run-all-junit-tests/pom.xml index ff35e03af..5d3d12e93 100644 --- a/run-all-junit-tests/pom.xml +++ b/run-all-junit-tests/pom.xml @@ -191,9 +191,6 @@ have to use Maven and get the test results reported within the IDE's JUnit user interface. --> repeat-all-unit-tests - - false - -- cgit v1.2.3