From 1e24d4a0a0b42e082ec4003545e8d5f81a4b636d Mon Sep 17 00:00:00 2001 From: Rusty Russell Date: Thu, 23 Mar 2023 21:01:11 +1030 Subject: [PATCH] Makefile: fix check-gen-update to diff *all* files. This would have caught the missing man page change! Signed-off-by: Rusty Russell --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index bbe918127..765f5688b 100644 --- a/Makefile +++ b/Makefile @@ -589,7 +589,7 @@ CHECK_GEN_ALL = \ check-gen-updated: $(CHECK_GEN_ALL) @echo "Checking for generated files being changed by make" - git diff --exit-code HEAD $? + git diff --exit-code HEAD coverage/coverage.info: check pytest mkdir coverage || true