diff options
Diffstat (limited to 'third_party/rust/packed_simd/ci/max_line_width.sh')
| -rwxr-xr-x | third_party/rust/packed_simd/ci/max_line_width.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/third_party/rust/packed_simd/ci/max_line_width.sh b/third_party/rust/packed_simd/ci/max_line_width.sh deleted file mode 100755 index f70639b6f8..0000000000 --- a/third_party/rust/packed_simd/ci/max_line_width.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/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 - |