lib/external/fetch.sh

   1 #!/bin/bash
   2 externals=(
   3     'http://www.dnsjava.org/download/dnsjava-2.1.8.zip'
   4     'http://www.dnsjava.org/download/dnsjava-2.1.8.jar'
   5 )
   6 wget -N "${externals[@]}"
   7 if ! sha256sum -c checksums.txt; then
   8     rm -vf $(basename -a "${externals[@]}")
   9 fi