From 7bc81e3c95016165f776bba1193c2ef4b1d58954 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Fri, 15 Jan 2021 21:51:11 +0100 Subject: [PATCH] Rename report_errors.sh to post_style_errors_on_github.sh --- scripts/check_style.sh | 4 ++-- .../{report_errors.sh => ci/post_style_errors_on_github.sh} | 0 2 files changed, 2 insertions(+), 2 deletions(-) rename scripts/{report_errors.sh => ci/post_style_errors_on_github.sh} (100%) 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