diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2018-05-23 12:38:46 -0500 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2018-06-02 17:20:47 -0400 |
| commit | 57183e55b285f8ee323d3264ec1746ae22bba060 (patch) | |
| tree | 94f2c95c568f6d8279915bde0659fbaf90006f03 /src/doc/rustc-dev-guide/ci | |
| parent | 05e67188737682ae191b5df35f12268f918d0fac (diff) | |
| download | rust-57183e55b285f8ee323d3264ec1746ae22bba060.tar.gz rust-57183e55b285f8ee323d3264ec1746ae22bba060.zip | |
allow long relative links
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/check_line_lengths.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/ci/check_line_lengths.sh b/src/doc/rustc-dev-guide/ci/check_line_lengths.sh index dc48091c873..91f199b7e36 100755 --- a/src/doc/rustc-dev-guide/ci/check_line_lengths.sh +++ b/src/doc/rustc-dev-guide/ci/check_line_lengths.sh @@ -30,7 +30,7 @@ for file in "$@" ; do (( inside_block = !$inside_block )) continue fi - if ! (( $inside_block )) && ! [[ "$line" =~ " | "|"-|-"|"://"|\[\^[^\ ]+\]: ]] && (( "${#line}" > $MAX_LINE_LENGTH )) ; then + if ! (( $inside_block )) && ! [[ "$line" =~ " | "|"-|-"|"://"|"]:"|\[\^[^\ ]+\]: ]] && (( "${#line}" > $MAX_LINE_LENGTH )) ; then (( bad_lines++ )) echo -e "\t$line_no : $line" fi |