removed deletion of tmp file

This commit is contained in:
André Bauer 2020-02-27 12:42:50 +01:00 committed by GitHub
parent 0b787b2da0
commit 20b99bcaa1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,5 +13,3 @@ while read -r FILE; do
echo lint "${FILE}"
shellcheck -x "${FILE}"
done < "${TMP_FILE}"
rm "${TMP_FILE}"