diff options
Diffstat (limited to 'tools/release.sh')
| -rwxr-xr-x | tools/release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/release.sh b/tools/release.sh index 88e4a00763..b8f3156060 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -15,7 +15,7 @@ do ;; --no-tests|--without-tests) flags="$flags -Dgerrit.acceptance-tests.skip=true" - flags="$flags -Dmaven.tests.skip=true" + flags="$flags -Dmaven.test.skip=true" shift ;; *) |