sgala 01/09/21 06:04:14
Modified: build build.sh
Log:
Errors in build.sh when JAVA_HOME is not set
Revision Changes Path
1.18 +2 -2 jakarta-jetspeed/build/build.sh
Index: build.sh
===================================================================
RCS file: /home/cvs/jakarta-jetspeed/build/build.sh,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -r1.17 -r1.18
--- build.sh 2001/05/25 20:03:35 1.17
+++ build.sh 2001/09/21 13:04:14 1.18
@@ -28,11 +28,11 @@
if test -z "${JAVA_HOME}" ; then
# JAVA_HOME is not set, try to set it if java is in PATH
- JAVABIN=`type java`
+ JAVABIN=`type -p java`
if [ $? -eq 0 ]
then
# We found something, clean the path to get a valid JAVA_HOME
- JAVA_HOME=`echo $javart | sed -e 's/\/bin\/java.*//' `
+ JAVA_HOME=`echo $JAVABIN | sed -e 's/\/bin\/java.*//' `
else
echo "ERROR: JAVA_HOME not found in your environment."
echo "Please, set the JAVA_HOME variable in your environment to match the"
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
