From fce0d19242349a57287a233a7c4d862dba2d16fa Mon Sep 17 00:00:00 2001 From: Chris Privitere <23177737+cprivitere@users.noreply.github.com> Date: Tue, 12 Jul 2022 15:30:55 -0500 Subject: [PATCH] Add git diff HEAD to verify-gen Signed-off-by: Chris Privitere <23177737+cprivitere@users.noreply.github.com> --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d8bbda782..0ec6b42bd 100644 --- a/Makefile +++ b/Makefile @@ -428,5 +428,5 @@ verify-modules: modules .PHONY: verify-gen verify-gen: generate @if !(git diff --quiet HEAD); then \ - echo "generated files are out of date, run make generate"; exit 1; \ + echo "generated files are out of date, run make generate"; git diff HEAD; exit 1; \ fi