From 77cbd3379c0af7914957f6a7fc0203b0a592b2f6 Mon Sep 17 00:00:00 2001 From: zouboan Date: Wed, 9 Nov 2022 09:07:03 +0800 Subject: [PATCH] tools: Fix an error of make -C tools -f Makefile.host clean --- tools/cxd56/Makefile.host | 2 +- tools/pic32/Makefile.host | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/cxd56/Makefile.host b/tools/cxd56/Makefile.host index daa095b728..1e09000202 100644 --- a/tools/cxd56/Makefile.host +++ b/tools/cxd56/Makefile.host @@ -18,7 +18,7 @@ # ############################################################################ -include $(TOPDIR)/Make.defs +-include $(TOPDIR)/Make.defs all: mkspk default: mkspk .PHONY: clean diff --git a/tools/pic32/Makefile.host b/tools/pic32/Makefile.host index a4fbff86c1..2a0248377f 100644 --- a/tools/pic32/Makefile.host +++ b/tools/pic32/Makefile.host @@ -18,7 +18,7 @@ # ############################################################################ -include $(TOPDIR)/Make.defs +-include $(TOPDIR)/Make.defs all: mkpichex default: mkpichex .PHONY: clean