Rename report_errors.sh to post_style_errors_on_github.sh

This commit is contained in:
Kamil Śliwak 2021-01-15 21:51:11 +01:00
parent f214682a27
commit 7bc81e3c95
2 changed files with 2 additions and 2 deletions

View File

@ -24,7 +24,7 @@ if [[ "$WHITESPACE" != "" ]]
then then
echo "Error: Trailing whitespace found:" | tee -a "$ERROR_LOG" echo "Error: Trailing whitespace found:" | tee -a "$ERROR_LOG"
echo "$WHITESPACE" | 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 exit 1
fi fi
@ -53,7 +53,7 @@ if [[ "$FORMATERROR" != "" ]]
then then
echo "Coding style error:" | tee -a "$ERROR_LOG" echo "Coding style error:" | tee -a "$ERROR_LOG"
echo "$FORMATERROR" | 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 exit 1
fi fi
) )