luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Capture double dashes in process args

This commit is contained in:
Anil Kumar Myla 2019-09-13 19:56:39 -07:00
parent b24ec386ab
commit 2946025d75
No known key found for this signature in database
GPG Key ID: BC80B8B017F64FC7
1 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
src/universal/bin/sbt
View File

@ -516,19 +516,19 @@ map_args () {
process_args () { process_args () {
while [[ $# -gt 0 ]]; do while [[ $# -gt 0 ]]; do
case "$1" in case "$1" in
-h|-help) usage; exit 1 ;; -h|-help|--help) usage; exit 1 ;;
-v|-verbose) sbt_verbose=1 && shift ;; -v|-verbose|--verbose) sbt_verbose=1 && shift ;;
-V|-version) print_sbt_version=1 && shift ;; -V|-version|--version) print_sbt_version=1 && shift ;;
-d|-debug) sbt_debug=1 && addSbt "-debug" && shift ;; -d|-debug|--debug) sbt_debug=1 && addSbt "-debug" && shift ;;
-ivy) require_arg path "$1" "$2" && addJava "-Dsbt.ivy.home=$2" && shift 2 ;; -ivy|--ivy) require_arg path "$1" "$2" && addJava "-Dsbt.ivy.home=$2" && shift 2 ;;
-mem) require_arg integer "$1" "$2" && addMemory "$2" && shift 2 ;; -mem|--mem) require_arg integer "$1" "$2" && addMemory "$2" && shift 2 ;;
-jvm-debug) require_arg port "$1" "$2" && addDebugger $2 && shift 2 ;; -jvm-debug|--jvm-debug) require_arg port "$1" "$2" && addDebugger $2 && shift 2 ;;
-batch) exec </dev/null && shift ;; -batch|--batch) exec </dev/null && shift ;;
-sbt-jar) require_arg path "$1" "$2" && sbt_jar="$2" && shift 2 ;; -sbt-jar|--sbt-jar) require_arg path "$1" "$2" && sbt_jar="$2" && shift 2 ;;
-sbt-version) require_arg version "$1" "$2" && sbt_version="$2" && shift 2 ;; -sbt-version|--sbt-version) require_arg version "$1" "$2" && sbt_version="$2" && shift 2 ;;
-java-home) require_arg path "$1" "$2" && -java-home|--java-home) require_arg path "$1" "$2" &&
java_cmd="$2/bin/java" && java_cmd="$2/bin/java" &&
export JAVA_HOME="$2" && export JAVA_HOME="$2" &&
export JDK_HOME="$2" && export JDK_HOME="$2" &&