From 9058fcc1881dc67a8b4f91c26de3338951273013 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 16 Jan 2023 17:55:39 +0100
Subject: [PATCH] Ensure that helper files are built as part of make all

---
 Makefile | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 7ce96ec..340422b 100644
--- a/Makefile
+++ b/Makefile
@@ -35,13 +35,21 @@ clean_methods := $(methods:%=clean-%)
 .PHONY: all
 all: $(methods)
 
+.PHONY: helper
+helper:
+	$(MAKE) -C src/helper_files
+
 .PHONY: methods
-$(methods):
+$(methods): helper
 	$(MAKE) -C src/methods/$@
 
+.PHONY: clean_helper
+clean_helper:
+	$(MAKE) -C src/helper_files
+
 .PHONY: $(clean_methods)
 $(clean_methods):
 	$(MAKE) -C src/methods/$(@:clean-%=%) clean
 
 .PHONY: clean
-clean: $(clean_methods)
+clean: clean_helper $(clean_methods)
-- 
GitLab