diff options
Diffstat (limited to 'scripts/jenkins/release.sh')
| -rwxr-xr-x | scripts/jenkins/release.sh | 7 | 
1 files changed, 2 insertions, 5 deletions
| diff --git a/scripts/jenkins/release.sh b/scripts/jenkins/release.sh index b4eee4c4..2763b128 100755 --- a/scripts/jenkins/release.sh +++ b/scripts/jenkins/release.sh @@ -5,16 +5,13 @@ echo "#### Cut release ################"  echo "#################################"  ARG_DEFS=( -  "--next_version_type=(patch|minor|major)" +  "--next-version-type=(patch|minor|major)"    "--next-version-name=(.+)" -  "[--no-test=true]" +  "[--no-test=(true|false)]"  )  function init {    NG_ARGS=("$@") -  if [[ $NO_TEST ]]; then -    NG_ARGS+=(--no_test=true) -  fi  }  function phase { | 
