diff --git a/build/sbt b/build/sbt index db9d3b345ff6f..ac15a6e1ec585 100755 --- a/build/sbt +++ b/build/sbt @@ -82,6 +82,11 @@ shows precedence: JAVA_OPTS lowest, command line options highest. EOM } +enableProfile () { + maven_profiles=( "${maven_profiles[@]}" "$1" ) + export SBT_MAVEN_PROFILES="${maven_profiles[@]}" +} + process_my_args () { while [[ $# -gt 0 ]]; do case "$1" in @@ -94,7 +99,7 @@ process_my_args () { -batch) exec