diff options
Diffstat (limited to 'setenv.sh.patch')
| -rw-r--r-- | setenv.sh.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/setenv.sh.patch b/setenv.sh.patch new file mode 100644 index 000000000000..feceb8e5640e --- /dev/null +++ b/setenv.sh.patch @@ -0,0 +1,13 @@ +--- setenv.sh.orig 2013-07-30 20:09:05.478278831 +1200 ++++ setenv.sh 2013-07-30 20:09:59.274654058 +1200 +@@ -1,7 +1,7 @@ +-JAVA_HOME= ++JAVA_HOME="$JAVA_HOME" + + if [ -z "$JAVA_HOME" ]; then + echo "The JAVA_HOME environment variable is not defined" + echo "This environment variable is needed to run this program" + exit 1 +-fi +\ No newline at end of file ++fi |