diff options
| author | Christophe Lyon <christophe.lyon@linaro.org> | 2016-12-04 23:19:58 +0100 |
|---|---|---|
| committer | Christophe Lyon <christophe.lyon@linaro.org> | 2016-12-04 23:19:58 +0100 |
| commit | 383d0aa5fe49ccb9f05ff8176d0fc61018e614fe (patch) | |
| tree | 412d32f987bfc34c7d9b635cf39d411e4953ad3c /MakeRelease.job | |
| parent | 0a0edf92c38793a792e5fea78441a49638b124b0 (diff) | |
MakeRelease.job, jenkins.sh: Add --abedir option.
In MakeRelease.job, rename --abepath to --abedir
for homogeneity.
In jenkins.sh, replace --abe to --abedir, remove
support for short option name (-c).
Change-Id: Ic35f1a1a73e848da4da7221017db552d73d25db0
Diffstat (limited to 'MakeRelease.job')
| -rwxr-xr-x | MakeRelease.job | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/MakeRelease.job b/MakeRelease.job index fbe1a228..2822a1df 100755 --- a/MakeRelease.job +++ b/MakeRelease.job @@ -4,7 +4,7 @@ set -x usage() { echo "MakeRelease: [options]" - echo " --abepath - PATH to ABE" + echo " --abedir - PATH to ABE" echo " --workspace - Specify an alternate workspace" echo " --target XXX - Specify the target triplet to build" echo " --date XXX - Specify a date, which becomes part of the release name" @@ -39,10 +39,10 @@ toolchain_config="" user_workspace="${WORKSPACE:-/home/${USER:-buildslave}/workspace}" abe_dir= -OPTS="`getopt -o t:f:d:w:m:l:g:u:h -l target:,date:,fileserver:,workspace:,toolchainconfig:,manifest:,glibc:,gcc:,binutils:,help,abepath:`" +OPTS="`getopt -o t:f:d:w:m:l:g:u:h -l target:,date:,fileserver:,workspace:,toolchainconfig:,manifest:,glibc:,gcc:,binutils:,help,abedir:`" while test $# -gt 0; do case $1 in - --abepath) abe_dir=$2 ;; + --abedir) abe_dir=$2 ;; -w|--workspace) user_workspace=$2 ;; -t|--target) target=$2 ;; -d|--date) date=$2 ;; @@ -59,7 +59,7 @@ while test $# -gt 0; do done if test x"${abe_dir}" = x; then - echo "Error: --abepath missing" + echo "Error: --abedir missing" usage fi |