From 2b425caf5f01f08e03eb7103d80594fec2a387a0 Mon Sep 17 00:00:00 2001 From: d0p1 Date: Sun, 24 Mar 2024 09:04:27 +0100 Subject: [PATCH] chore: external dir --- external/Makefile | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 external/Makefile diff --git a/external/Makefile b/external/Makefile new file mode 100644 index 0000000..fe9e021 --- /dev/null +++ b/external/Makefile @@ -0,0 +1,11 @@ +TOPGOALS = all clean install + +SUBDIRS = + +.PHONY: $(SUBDIRS) +$(SUBDIRS): + @echo "📁 external/$@" + @DESTDIR=$(DESTDIR) $(MAKE) -C $@ $(MAKECMDGOALS) + +.PHONY: $(TOPGOALS) +$(TOPGOALS): $(SUBDIRS)