Searched refs:DOWNLOAD_FILE (Results 1 – 1 of 1) sorted by relevance
37 DOWNLOAD_FILE=/tmp/`basename $0`.$$38 MD5SUM_FILE=${DOWNLOAD_FILE}.md5sum40 echo "$EXPECTED_FILE_MD5SUM $DOWNLOAD_FILE" > $MD5SUM_FILE52 curl ${PROTO}://${SERVER}:${PORT} $EXTRA_OPTS --max-time 5 --output $DOWNLOAD_FILE62 FILE_SIZE=$(stat --printf=%s $DOWNLOAD_FILE)85 rm -f $DOWNLOAD_FILE $MD5SUM_FILE
