From f1e84b3d994f9faa099f28a16016649cc1e76aad Mon Sep 17 00:00:00 2001 From: Rusty Russell Date: Tue, 13 Aug 2019 09:46:59 +0930 Subject: [PATCH] devtools: make clean should remove devtools/gen_print_onion_wire.[c,h,o] Reported-by: @JavierRSobrino Signed-off-by: Rusty Russell --- devtools/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devtools/Makefile b/devtools/Makefile index af0753c4d..577b0dd2b 100644 --- a/devtools/Makefile +++ b/devtools/Makefile @@ -75,4 +75,4 @@ check-source: $(DEVTOOLS_SRC:%=check-src-include-order/%) $(DEVTOOLS_TOOLS_SRC:% clean: devtools-clean devtools-clean: - $(RM) $(DEVTOOLS_OBJS) $(DEVTOOLS_TOOL_OBJS) devtools/bolt11-cli devtools/decodemsg devtools/onion devtools/gen_print_wire.[c,h,o] + $(RM) $(DEVTOOLS_OBJS) $(DEVTOOLS_TOOL_OBJS) devtools/bolt11-cli devtools/decodemsg devtools/onion devtools/gen_print_wire.[c,h,o] devtools/gen_print_onion_wire.[c,h,o]