diff options
Diffstat (limited to '.github/ci/crlf.sh')
| -rwxr-xr-x | .github/ci/crlf.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/crlf.sh b/.github/ci/crlf.sh index ede17c861..69838ce88 100755 --- a/.github/ci/crlf.sh +++ b/.github/ci/crlf.sh | |||
| @@ -4,7 +4,7 @@ | |||
| 4 | 4 | ||
| 5 | set -euo pipefail | 5 | set -euo pipefail |
| 6 | 6 | ||
| 7 | FILES_WITH_CRLF=$(find ! -path "./.git/*" -not -type d | xargs -0 file -N | (grep " CRLF " || true)) | 7 | FILES_WITH_CRLF=$(find ! -path "./.git/*" -not -type d | xargs file -N | (grep " CRLF " || true)) |
| 8 | 8 | ||
| 9 | if [ -z "$FILES_WITH_CRLF" ]; then | 9 | if [ -z "$FILES_WITH_CRLF" ]; then |
| 10 | echo -e "No files with CRLF endings found." | 10 | echo -e "No files with CRLF endings found." |
