mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

allow long relative links

This commit is contained in:
Mark Mansi 2018-05-23 12:38:46 -05:00 committed by Who? Me?!
parent eec934f762
commit 11a2e465fc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci/check_line_lengths.sh
View File

@ -30,7 +30,7 @@ for file in "$@" ; do
(( inside_block = !$inside_block )) (( inside_block = !$inside_block ))
continue continue
fi fi
if ! (( $inside_block )) && ! [[ "$line" =~ " | "|"-|-"|"://"|\[\^[^\ ]+\]: ]] && (( "${#line}" > $MAX_LINE_LENGTH )) ; then if ! (( $inside_block )) && ! [[ "$line" =~ " | "|"-|-"|"://"|"]:"|\[\^[^\ ]+\]: ]] && (( "${#line}" > $MAX_LINE_LENGTH )) ; then
(( bad_lines++ )) (( bad_lines++ ))
echo -e "\t$line_no : $line" echo -e "\t$line_no : $line"
fi fi