chore: external dir

d0p1s4m4 · Mar 24, 2024 · 2b425ca · 2b425ca
1 parent 74e09f7
commit 2b425ca
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/external/Makefile 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)