diff options
Diffstat (limited to 'MakeRelease.job')
-rwxr-xr-x | MakeRelease.job | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/MakeRelease.job b/MakeRelease.job index 7b9614e1..6c48a514 100755 --- a/MakeRelease.job +++ b/MakeRelease.job @@ -4,6 +4,7 @@ set -x usage() { echo "MakeRelease: [options]" + 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" @@ -36,10 +37,12 @@ fileserver="148.251.136.42" extra= 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`" +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 + --abedir) abe_dir=$2 ;; -w|--workspace) user_workspace=$2 ;; -t|--target) target=$2 ;; -d|--date) date=$2 ;; @@ -55,12 +58,16 @@ while test $# -gt 0; do shift done +if test x"${abe_dir}" = x; then + echo "Error: --abedir missing" + usage +fi + if test x"${target}" != x"native" -a x"${target}" != x; then platform="--target ${target}" fi shared="/home/buildslave/workspace/shared/" -abe_dir="$(dirname $0)/.." user_snapshots="${user_workspace}/snapshots" if test -e ${user_workspace}; then |