diff --git a/scripts/check_format.sh b/scripts/check_format.sh index 3e52f76a9..e2c88f8f9 100755 --- a/scripts/check_format.sh +++ b/scripts/check_format.sh @@ -27,6 +27,10 @@ while read -r perm _res0 _res1 path; do continue fi + # Skip symlinks + if [[ -L $path ]]; then + continue + fi fname=$(basename -- "$path") case ${fname##*.} in