diff --git a/scripts/check_style.sh b/scripts/check_style.sh index 664e84eac..870ea0234 100755 --- a/scripts/check_style.sh +++ b/scripts/check_style.sh @@ -24,7 +24,7 @@ if [[ "$WHITESPACE" != "" ]] then echo "Error: Trailing whitespace found:" | tee -a "$ERROR_LOG" echo "$WHITESPACE" | tee -a "$ERROR_LOG" - scripts/report_errors.sh "$ERROR_LOG" + scripts/post_style_errors_on_github.sh "$ERROR_LOG" exit 1 fi @@ -53,7 +53,7 @@ if [[ "$FORMATERROR" != "" ]] then echo "Coding style error:" | tee -a "$ERROR_LOG" echo "$FORMATERROR" | tee -a "$ERROR_LOG" - scripts/report_errors.sh "$ERROR_LOG" + scripts/post_style_errors_on_github.sh "$ERROR_LOG" exit 1 fi ) diff --git a/scripts/report_errors.sh b/scripts/ci/post_style_errors_on_github.sh similarity index 100% rename from scripts/report_errors.sh rename to scripts/ci/post_style_errors_on_github.sh