Skip to content

Commit

Permalink
echo diff in verify-gen make target
Browse files Browse the repository at this point in the history
  • Loading branch information
@mboersma
mboersma committed May 26, 2020
1 parent 6ebcfef commit c6ddf8c
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -445,5 +445,6 @@ verify-modules: modules
.PHONY: verify-gen
verify-gen: generate
@if !(git diff --quiet HEAD); then \
git diff HEAD; \
echo "generated files are out of date, run make generate"; exit 1; \
fi

0 comments on commit c6ddf8c

Please sign in to comment.