diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-06 13:38:02 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-06 14:17:35 +0200 |
| commit | 5395017f679d83e45e9610f27f36a8a3fdc08923 (patch) | |
| tree | 848aa5efa5893c2eb6e5bf03d62fa2f0dee7bfa3 /Makefile | |
| parent | 35b8eb3041516c17ae2eb3b09a33b7429ade33d3 (diff) | |
Makefile: print what files are not formatted
Move this part from .travis.yml to Makefile.
It's useful to see it always and we generally
don't have lots of logic in the travis file.
Also move list of changed files to the bottom
(that's what one generally sees at console
and at the end of the log).
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -382,4 +382,8 @@ check_links: # Check that the diff is empty. This is meant to be executed after generating # and formatting the code to make sure that everything is committed. check_diff: - DIFF="$(shell git diff --name-only)"; test -z "$$DIFF" + @if [ "$(shell git diff --name-only)" != "" ]; then \ + git diff; \ + echo -e "\n\nSome files are not formatted/regenerated (include them into commit):"; \ + git diff --name-only; \ + fi |