diff --git a/fetch-footprints.sh b/fetch-footprints.sh index 4151f1a..2941a5d 100755 --- a/fetch-footprints.sh +++ b/fetch-footprints.sh @@ -3,17 +3,6 @@ [ -z $DEBUG ] || set -x set -eu -o pipefail -finish_abnormal() { - : -} - -finish_normal() { - : -} - -trap finish_abnormal INT TERM -trap finish_normal EXIT - usage=" Footprints downloader.