From 55ed0bdf45ee07c22f555e98b6f48cefc7614ea4 Mon Sep 17 00:00:00 2001
From: Dave Syer <dsyer@gopivotal.com>
Date: Sat, 3 Aug 2013 09:27:09 +0100
Subject: [PATCH] Fix problem locating spring home

---
 spring-boot-cli/src/main/scripts/spring | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spring-boot-cli/src/main/scripts/spring b/spring-boot-cli/src/main/scripts/spring
index 3e494fe0d5..0b298e7417 100755
--- a/spring-boot-cli/src/main/scripts/spring
+++ b/spring-boot-cli/src/main/scripts/spring
@@ -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}"