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

make the line-length script respect 100 char limit XD (#240) 

🤣 🤣 🤣
This commit is contained in:
Who? Me?! 2018-11-26 11:13:21 -06:00 committed by GitHub
parent fe35892c78
commit 3a804956e3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ci/check_line_lengths.sh
View File

@ -30,7 +30,9 @@ 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