source: other-projects/hathitrust/wcsa/vol-checker/DOWNLOAD-JETTY.sh@ 31375

Last change on this file since 31375 was 31326, checked in by davidb, 7 years ago

Further tweaks

  • Property svn:executable set to *
File size: 400 bytes
Line 
1
2if [ "x$VOL_CHECKER_HOME" = "x" ] ; then
3 echo "Error: VOL_CHECKER_HOME not set. Have you sourced ./SETUP.bash?" 1>&2
4 exit 1
5fi
6
7if [ ! -e "$jetty_tar" ] ; then
8 echo "Downloading: $jetty_tar"
9 wget "http://central.maven.org/maven2/org/eclipse/jetty/jetty-distribution/7.6.21.v20160908/$jetty_tar"
10fi
11
12if [ ! -d "$jetty_dist" ] ; then
13 echo "Untarring $jetty_tar"
14 tar xvzf "$jetty_tar"
15fi
16
Note: See TracBrowser for help on using the repository browser.