From 2a6f89e2605ae07e83d7a27d03060f6ede22c621 Mon Sep 17 00:00:00 2001
From: Peter Kriens <Peter.Kriens@aQute.biz>
Date: Wed, 2 Oct 2024 16:44:19 +0200
Subject: [PATCH] Update makefile

---
 org.alloytools.pardinus.native/native-code/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/org.alloytools.pardinus.native/native-code/Makefile b/org.alloytools.pardinus.native/native-code/Makefile
index a8eb9d076..136241eb0 100644
--- a/org.alloytools.pardinus.native/native-code/Makefile
+++ b/org.alloytools.pardinus.native/native-code/Makefile
@@ -106,7 +106,7 @@ darwin: \
 	native/darwin/arm64/plingeling \
 	native/darwin/amd64/plingeling 
 
-linux: $(DIRS) $(REPOS) native headers
+linux: $(DIRS) $(REPOS) $(REPOS_PATHS) native headers 
 	./dockcross_linux bash -c "make build_linux_inner"
 
 build_linux_inner:
@@ -128,7 +128,7 @@ build_linux_inner:
 	cp build/plingeling native/linux/amd64/plingeling
 
 
-windows: $(DIRS) $(REPOS) headers
+windows: $(DIRS) $(REPOS) $(REPOS_PATHS) headers
 	./dockcross_windows bash -c "make build_windows_inner"
 
 build_windows_inner: