diff options
Diffstat (limited to 'quick-build.sh')
| -rwxr-xr-x | quick-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 $* |