diff options
author | Ryan S. Arnold <ryan.arnold@linaro.org> | 2016-07-01 13:12:47 -0500 |
---|---|---|
committer | Ryan Arnold <ryan.arnold@linaro.org> | 2016-07-01 18:33:00 +0000 |
commit | c682e15ffbde6e58d24fa1cfc350d2711c2cbdbf (patch) | |
tree | 03f3c864ec7d07532affbb60f9198b0db2b7e7fc /MakeRelease.job | |
parent | e9f243d911174e431c24b67a5d919c3332f1923f (diff) |
Add usage() output for MakeRelease.job.
Change-Id: Ibcd0f74e624e749b3aac3cc6deaa9573449f75cb
Diffstat (limited to 'MakeRelease.job')
-rwxr-xr-x | MakeRelease.job | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/MakeRelease.job b/MakeRelease.job index 63c808fc..b0ba2bff 100755 --- a/MakeRelease.job +++ b/MakeRelease.job @@ -1,5 +1,30 @@ #!/bin/bash +usage() { + echo "MakeRelease: [options]" + echo " --workspace - Specify an alternate workspace" + echo " --tarbin - Build a binary tarball" + echo " --target XXX - Specify the target triplet to build" + echo " --date XXX - Specify a date, which becmes part pf the release name" + echo " --ref XXX - Specify a Git reference directory" + echo " --toolchainconfig XXX - [Optional] Explicitly define which toolchain" + echo " to build, e.g., 'default', 'gcc5', 'gcc6'. " + echo " If not specified, 'default' is the default" + echo " --fileserver XXX - Specify the fileserver for tarballs" + echo " --manifest XXX - Optionally use a manifest as input" + echo " --glibc XXX - Specify Glibc version to build" + echo " --gcc XXX - Specify GCC version to build" + echo " --binutils XXX - Specify Binutils version to build" + echo " --help" + exit +} + +# Jenkins may run only using environment variables, a user needs to always +# supply some command line arguments. +if test $# -eq 0 -a x"${JENKINS_SERVER_COOKIE}" = x; then + usage +fi + # Set defaults if test x"${debug}" = x"true"; then export CONFIG_SHELL="/bin/bash -x" |