diff --git a/ci/scripts/check_file_integrity.sh b/ci/scripts/check_file_integrity.sh index f05818aa7..af1901ba0 100755 --- a/ci/scripts/check_file_integrity.sh +++ b/ci/scripts/check_file_integrity.sh @@ -12,10 +12,8 @@ done # Check if there are files or directories that are not in the array for f in *; do found=0 - # echo "===: $f" for g in "$@"; do - # echo "::: $g" - [ "$f" = "$g" ] && found=1 + ([ "$f" = "$g" ] || [ "$f" = "$g.gz" ]) && found=1 done [ "$found" = 0 ] && echo "$f: in directory but not listed" && ok=0 done