aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Otto <thomas.otto@pdv-fs.de>2020-03-24 20:35:53 +0100
committerGitHub <noreply@github.com>2020-03-24 20:35:53 +0100
commita7eb7b383e6a96a48fa3a611f66b139c7c06610b (patch)
tree41442abef1760c978117f365084c320490040f65
parent76f63d8a148bf1219b21cbb49d3963f6a776380e (diff)
downloadccache-a7eb7b383e6a96a48fa3a611f66b139c7c06610b.tar.gz
ccache-a7eb7b383e6a96a48fa3a611f66b139c7c06610b.tar.bz2
ccache-a7eb7b383e6a96a48fa3a611f66b139c7c06610b.zip
Make check_format exit with the appropriate status (#565)
Also print only diff to stdout and fix tabs.
-rw-r--r--dev.mk.in4
1 files changed, 2 insertions, 2 deletions
diff --git a/dev.mk.in b/dev.mk.in
index 690a70dc..e5c45579 100644
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -212,8 +212,8 @@ check_format:
@[ -t 1 ] && export cf_diff_color="--color=always"; \
cd $(srcdir) && echo $(non_third_party_headers) $(non_third_party_sources) $(test_sources) | xargs -n1 -P1 \
misc/run-clang-format --check || \
- { echo; echo "Error: Sources are not formatted with clang-format."; \
- echo 'Run "make format" or apply the above diff.'; }
+ { echo; echo "Error: Sources are not formatted with clang-format."; \
+ echo 'Run "make format" or apply the above diff.'; echo; exit 1; } 1>&2
# pip install compiledb
compile_commands.json: