Script that directly comments errors to the github pull request.

scripts/check_style.sh

@@ -1,5 +1,7 @@
 #!/usr/bin/env bash
 
+. scripts/report_errors.sh
+
 (
 REPO_ROOT="$(dirname "$0")"/..
 cd $REPO_ROOT
@@ -8,8 +10,8 @@ WHITESPACE=$(git grep -n -I -E "^.*[[:space:]]+$" | grep -v "test/libsolidity/AS
 
 if [[ "$WHITESPACE" != "" ]]
 then
-	echo "Error: Trailing whitespace found:" >&2
-	echo "$WHITESPACE" >&2
+	echo "Error: Trailing whitespace found:" | tee -a $ERROR_LOG
+	echo "$WHITESPACE" | tee -a $ERROR_LOG
 	exit 1
 fi
 
@@ -22,8 +24,8 @@ git grep -nIE "\<if\>\s*\(.*\)\s*\{\s*$" -- '*.h' '*.cpp'
 
 if [[ "$FORMATERROR" != "" ]]
 then
-	echo "Error: Format error for if/for:" >&2
-	echo "$FORMATERROR" >&2
+	echo "Error: Format error for if/for:" | tee -a $ERROR_LOG
+	echo "$FORMATERROR" | tee -a $ERROR_LOG
 	exit 1
 fi
 )