all.sh: option parsing: reduce vertical spread

Only whitespace changes.
This commit is contained in:
Gilles Peskine 2018-03-21 08:39:32 +01:00
parent 53038ebecc
commit 54933e95bd

View File

@ -214,74 +214,25 @@ check_tools()
while [ $# -gt 0 ]; do while [ $# -gt 0 ]; do
case "$1" in case "$1" in
--armcc) --armcc) RUN_ARMCC=1;;
RUN_ARMCC=1 --armc5-bin-dir) shift; ARMC5_BIN_DIR="$1";;
;; --armc6-bin-dir) shift; ARMC6_BIN_DIR="$1";;
--armc5-bin-dir) --force|-f) FORCE=1;;
shift --gnutls-cli) shift; GNUTLS_CLI="$1";;
ARMC5_BIN_DIR="$1" --gnutls-legacy-cli) shift; GNUTLS_LEGACY_CLI="$1";;
;; --gnutls-legacy-serv) shift; GNUTLS_LEGACY_SERV="$1";;
--armc6-bin-dir) --gnutls-serv) shift; GNUTLS_SERV="$1";;
shift --help|-h) usage; exit;;
ARMC6_BIN_DIR="$1" --keep-going|-k) KEEP_GOING=1;;
;; --memory|-m) MEMORY=1;;
--force|-f) --no-armcc) RUN_ARMCC=0;;
FORCE=1 --no-yotta) YOTTA=0;;
;; --openssl) shift; OPENSSL="$1";;
--gnutls-cli) --openssl-legacy) shift; OPENSSL_LEGACY="$1";;
shift --out-of-source-dir) shift; OUT_OF_SOURCE_DIR="$1";;
GNUTLS_CLI="$1" --release-test|-r) RELEASE=1;;
;; --seed|-s) shift; SEED="$1";;
--gnutls-legacy-cli) --yotta) YOTTA=1;;
shift
GNUTLS_LEGACY_CLI="$1"
;;
--gnutls-legacy-serv)
shift
GNUTLS_LEGACY_SERV="$1"
;;
--gnutls-serv)
shift
GNUTLS_SERV="$1"
;;
--help|-h)
usage
exit
;;
--keep-going|-k)
KEEP_GOING=1
;;
--memory|-m)
MEMORY=1
;;
--no-armcc)
RUN_ARMCC=0
;;
--no-yotta)
YOTTA=0
;;
--openssl)
shift
OPENSSL="$1"
;;
--openssl-legacy)
shift
OPENSSL_LEGACY="$1"
;;
--out-of-source-dir)
shift
OUT_OF_SOURCE_DIR="$1"
;;
--release-test|-r)
RELEASE=1
;;
--seed|-s)
shift
SEED="$1"
;;
--yotta)
YOTTA=1
;;
*) *)
echo >&2 "Unknown option: $1" echo >&2 "Unknown option: $1"
echo >&2 "Run $0 --help for usage." echo >&2 "Run $0 --help for usage."