diff options
Diffstat (limited to 'vendor/packed_simd_2/ci/max_line_width.sh')
-rwxr-xr-x | vendor/packed_simd_2/ci/max_line_width.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/vendor/packed_simd_2/ci/max_line_width.sh b/vendor/packed_simd_2/ci/max_line_width.sh new file mode 100755 index 000000000..f70639b6f --- /dev/null +++ b/vendor/packed_simd_2/ci/max_line_width.sh @@ -0,0 +1,17 @@ +#!/usr/bin/env sh + +set -x + +export success=true + +find . -iname '*.rs' | while read -r file; do + result=$(grep '.\{79\}' "${file}" | grep --invert 'http') + if [ "${result}" = "" ] + then + : + else + echo "file \"${file}\": $result" + exit 1 + fi +done + |