From 2946025d750c378d7f742603142843c16754eded Mon Sep 17 00:00:00 2001 From: Anil Kumar Myla Date: Fri, 13 Sep 2019 19:56:39 -0700 Subject: [PATCH] Capture double dashes in process args --- src/universal/bin/sbt | 38 +++++++++++++++++++------------------- 1 file changed, 19 insertions(+), 19 deletions(-) diff --git a/src/universal/bin/sbt b/src/universal/bin/sbt index 9b160f3d4..dbfcaec53 100755 --- a/src/universal/bin/sbt +++ b/src/universal/bin/sbt @@ -516,28 +516,28 @@ map_args () { process_args () { while [[ $# -gt 0 ]]; do case "$1" in - -h|-help) usage; exit 1 ;; - -v|-verbose) sbt_verbose=1 && shift ;; - -V|-version) print_sbt_version=1 && shift ;; - -d|-debug) sbt_debug=1 && addSbt "-debug" && shift ;; + -h|-help|--help) usage; exit 1 ;; + -v|-verbose|--verbose) sbt_verbose=1 && shift ;; + -V|-version|--version) print_sbt_version=1 && shift ;; + -d|-debug|--debug) sbt_debug=1 && addSbt "-debug" && shift ;; - -ivy) require_arg path "$1" "$2" && addJava "-Dsbt.ivy.home=$2" && shift 2 ;; - -mem) require_arg integer "$1" "$2" && addMemory "$2" && shift 2 ;; - -jvm-debug) require_arg port "$1" "$2" && addDebugger $2 && shift 2 ;; - -batch) exec