diff --git a/.bin/etc-files-list-update/update.sh b/.bin/etc-files-list-update/update.sh index 18cc0d5dc..67c1e072d 100755 --- a/.bin/etc-files-list-update/update.sh +++ b/.bin/etc-files-list-update/update.sh @@ -15,6 +15,7 @@ util/find-new-urls.awk > url_batch if [[ $(wc -l url_batch | awk '{print $1}') == 0 ]] then echo "no new URLs" 1>&2 + rm url_batch exit 0 fi