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, 0 insertions, 17 deletions
diff --git a/vendor/packed_simd_2/ci/max_line_width.sh b/vendor/packed_simd_2/ci/max_line_width.sh deleted file mode 100755 index f70639b6f..000000000 --- a/vendor/packed_simd_2/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 - |