diff options
| author | Ulf Lilleengen <[email protected]> | 2025-09-22 10:38:20 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-09-22 10:38:20 +0200 |
| commit | e9232bfad31c8a0c8567fa092a323f186bd99eb5 (patch) | |
| tree | 914952e6ff6d434380b574a8c9f6b44c8cee979f /.github/ci/crlf.sh | |
| parent | d1b55faace4b5059c726d94dd2d7f1ad3805ab48 (diff) | |
| parent | 768182545aa600811c480a1ab298c590ce1093bc (diff) | |
Merge branch 'main' into add-nrf-rtc-driver
Diffstat (limited to '.github/ci/crlf.sh')
| -rwxr-xr-x | .github/ci/crlf.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/.github/ci/crlf.sh b/.github/ci/crlf.sh deleted file mode 100755 index 69838ce88..000000000 --- a/.github/ci/crlf.sh +++ /dev/null | |||
| @@ -1,17 +0,0 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | ## on push branch~=gh-readonly-queue/main/.* | ||
| 3 | ## on pull_request | ||
| 4 | |||
| 5 | set -euo pipefail | ||
| 6 | |||
| 7 | FILES_WITH_CRLF=$(find ! -path "./.git/*" -not -type d | xargs file -N | (grep " CRLF " || true)) | ||
| 8 | |||
| 9 | if [ -z "$FILES_WITH_CRLF" ]; then | ||
| 10 | echo -e "No files with CRLF endings found." | ||
| 11 | exit 0 | ||
| 12 | else | ||
| 13 | NR_FILES=$(echo "$FILES_WITH_CRLF" | wc -l) | ||
| 14 | echo -e "ERROR: Found ${NR_FILES} files with CRLF endings." | ||
| 15 | echo "$FILES_WITH_CRLF" | ||
| 16 | exit "$NR_FILES" | ||
| 17 | fi | ||
