Browse Source

Fix problem locating spring home

pull/10/head
Dave Syer 13 years ago
parent
commit
55ed0bdf45
  1. 3
      spring-boot-cli/src/main/scripts/spring

3
spring-boot-cli/src/main/scripts/spring

@ -47,7 +47,8 @@ if [ ! -f "${JAVA_HOME}/bin/java" ]; then @@ -47,7 +47,8 @@ if [ ! -f "${JAVA_HOME}/bin/java" ]; then
fi
if [ "$SPRING_HOME" == "" ]; then
SPRING_HOME=`cd "$(dirname $0)"/.. && pwd`
script=`readlink $0`
SPRING_HOME=`cd "$(dirname $script)"/.. && pwd`
else
if [ ! -d "${SPRING_HOME}" ]; then
echo "Not a directory: SPRING_HOME=${SPRING_HOME}"

Loading…
Cancel
Save