diff options
-rw-r--r-- | pom.xml | 1 | ||||
-rwxr-xr-x | quick-build.sh | 2 |
2 files changed, 1 insertions, 2 deletions
@@ -1092,7 +1092,6 @@ <id>dev</id> <properties> <skipSanityChecks>true</skipSanityChecks> - <enforcer.skip>true</enforcer.skip> </properties> </profile> <profile> diff --git a/quick-build.sh b/quick-build.sh index 756015c15bb..3d5262e1e61 100755 --- a/quick-build.sh +++ b/quick-build.sh @@ -41,4 +41,4 @@ $$$$"""$$$$$$$$$$uuu uu$$$$$$$$$"""$$$" EOF ./stop.sh -mvn clean install -B -e -V -DskipTests=true -Dsource.skip=true -Denforcer.skip=true -Pdev $* +mvn clean install -B -e -V -DskipTests=true -Dsource.skip=true -Pdev $* |