Changeset 31324 for other-projects/hathitrust

Timestamp:

2017-01-23T10:14:46+13:00 (7 years ago)

Author:

davidb

Message:

More accurate name

File:

• other-projects/hathitrust/wcsa/vol-checker/SETUP.bash.in (moved) (moved from other-projects/hathitrust/wcsa/vol-checker/SETUP.sh.in ) (1 diff)

other-projects/hathitrust/wcsa/vol-checker/SETUP.bash.in

@@ -1 @@
-export JAVA_HOME=/home/greenstone/jdk1.8.0_25
-export PATH=$JAVA_HOME/bin:$PATH
 
+export VOL_CHECKER_HOME=`pwd`
+
+if [ "x$JAVA_HOME" != "x" ] ; then
+  export JAVA_HOME=/home/greenstone/jdk1.8.0_25
+  export PATH=$JAVA_HOME/bin:$PATH
+  echo "Set JAVA_HOME and added JAVA_HOME/bin to PATH"
+fi
+
+jetty_dist=jetty-distribution-7.6.21.v20160908
+jetty_tar="$jetty_dist.tar.gz"
+
+