1 files changed, 43 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/ci/lengthcheck.sh b/src/doc/rustc-dev-guide/ci/lengthcheck.sh
new file mode 100755
index 000000000..76d677be7
--- /dev/null
+++ b/src/doc/rustc-dev-guide/ci/lengthcheck.sh
@@ -0,0 +1,43 @@
+#!/usr/bin/env bash
+
+# Check files for lines that are too long.
+
+if [ "$1" == "--help" ]; then
+  echo 'Usage:' "[MAX_LINE_LENGTH=n] $0 [file ...]"
+  exit 1
+fi
+
+if [ "$MAX_LINE_LENGTH" == "" ]; then
+    MAX_LINE_LENGTH=100
+fi
+
+if [ "$1" == "" ]; then
+  files=( src/*.md src/*/*.md src/*/*/*.md )
+else
+  files=( "$@" )
+fi
+
+echo "Checking line lengths in all source files <= $MAX_LINE_LENGTH chars..."
+
+echo "Offending files and lines:"
+(( bad_lines = 0 ))
+(( inside_block = 0 ))
+for file in "${files[@]}"; do
+  (( line_no = 0 ))
+  while IFS="" read -r line || [[ -n "$line" ]] ; do
+    (( line_no++ ))
+    if [[ "$line" =~ ^'```' ]] ; then
+      (( inside_block = !$inside_block ))
+      continue
+    fi
+    if ! (( $inside_block )) \
+        && ! [[ "$line" =~ " | "|"-|-"|"://"|"]:"|\[\^[^\ ]+\]: ]] \
+        && (( "${#line}" > $MAX_LINE_LENGTH )) ; then
+      (( bad_lines++ ))
+      echo -e "\t$file:$line_no : $line"
+    fi
+  done < "$file"
+done
+
+echo "$bad_lines offending lines found."
+(( $bad_lines == 0 ))