Show
Ignore:
Timestamp:
23.01.2017 10:14:46 (3 years ago)
Author:
davidb
Message:

More accurate name

Files:
1 moved

Legend:

Unmodified
Added
Removed
  • other-projects/hathitrust/wcsa/vol-checker/SETUP.bash.in

    r31321 r31324  
    1 export JAVA_HOME=/home/greenstone/jdk1.8.0_25 
    2 export PATH=$JAVA_HOME/bin:$PATH 
    31 
     2export VOL_CHECKER_HOME=`pwd` 
     3 
     4if [ "x$JAVA_HOME" != "x" ] ; then 
     5  export JAVA_HOME=/home/greenstone/jdk1.8.0_25 
     6  export PATH=$JAVA_HOME/bin:$PATH 
     7  echo "Set JAVA_HOME and added JAVA_HOME/bin to PATH" 
     8fi 
     9 
     10jetty_dist=jetty-distribution-7.6.21.v20160908 
     11jetty_tar="$jetty_dist.tar.gz" 
     12 
     13