stan/jdk-24
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

8269758: idea.sh doesn't work when there are multiple configurations available.

Browse Source 
Reviewed-by: mcimadamore, erikj
This commit is contained in:
Jorn Vernee 2021-07-05 10:18:28 +00:00
parent 164eff8c8a
commit 73198968e2
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
bin/idea.sh
View File

@ -25,7 +25,7 @@
# Shell script for generating an IDEA project from a given list of modules # Shell script for generating an IDEA project from a given list of modules
usage() { usage() {
echo "usage: $0 [-h|--help] [-v|--verbose] [-o|--output <path>] [modules]+" echo "usage: $0 [-h|--help] [-v|--verbose] [-o|--output <path>] [-c|--conf <conf_name>] [modules]+"
exit 1 exit 1
} }
@ -37,6 +37,7 @@ cd $TOP;
IDEA_OUTPUT=$TOP/.idea IDEA_OUTPUT=$TOP/.idea
VERBOSE="false" VERBOSE="false"
CONF_ARG=
while [ $# -gt 0 ] while [ $# -gt 0 ]
do do
case $1 in case $1 in
@ -52,6 +53,10 @@ do
IDEA_OUTPUT=$2/.idea IDEA_OUTPUT=$2/.idea
shift shift
;; ;;
-c | --conf )
CONF_ARG="CONF_NAME=$2"
shift
;;
-*) # bad option -*) # bad option
usage usage
@ -91,7 +96,7 @@ if [ "$VERBOSE" = "true" ] ; then
echo "idea template dir: $IDEA_TEMPLATE" echo "idea template dir: $IDEA_TEMPLATE"
fi fi
cd $TOP ; make -f "$IDEA_MAKE/idea.gmk" -I $MAKE_DIR/.. idea MAKEOVERRIDES= OUT=$IDEA_OUTPUT/env.cfg MODULES="$*" || exit 1 cd $TOP ; make -f "$IDEA_MAKE/idea.gmk" -I $MAKE_DIR/.. idea MAKEOVERRIDES= OUT=$IDEA_OUTPUT/env.cfg MODULES="$*" $CONF_ARG || exit 1
cd $SCRIPT_DIR cd $SCRIPT_DIR
. $IDEA_OUTPUT/env.cfg . $IDEA_OUTPUT/env.cfg