Browse Source

Merge pull request #89 from jawshooah/fix-sbt-plugin

Fix -java-home option for sbt
pull/99/head
Gildas Cuisinier 11 years ago
parent
commit
f77062c84c
  1. 4
      available-plugins/sbt/etc/jenv.d/exec/sbt-before.bash

4
available-plugins/sbt/etc/jenv.d/exec/sbt-before.bash

@ -7,5 +7,5 @@ if [ "$1" = "sbt" ]; then @@ -7,5 +7,5 @@ if [ "$1" = "sbt" ]; then
fi
unset JENV_OPTIONS
fi
JENV_OPTIONS="$JENV_OPTIONS -java-home=$JAVA_HOME"
fi
JENV_OPTIONS="$JENV_OPTIONS -java-home $JAVA_HOME"
fi

Loading…
Cancel
Save