Print colored diffs when there are formatting failures in CI

This makes diffs more readable in CI logs.
2021-08-25 17:05:16 +02:00
parent 353bb45e21
commit 38424714b1
3 changed files with 3 additions and 3 deletions
--- a/misc/scripts/file_format.sh
+++ b/misc/scripts/file_format.sh
@ -42,7 +42,7 @@ while IFS= read -rd '' f; do
    perl -i -ple 's/\s*$//g' "$f"
 done

-git diff > patch.patch
+git diff --color > patch.patch

 # If no patch has been generated all is OK, clean up, and exit.
 if [ ! -s patch.patch ] ; then