# HG changeset patch
# User Sascha Wilde <wilde@intevation.de>
# Date 1533123468 -7200
# Node ID 75e32633fb96babb57b7326e4269f5b06b7a190b
# Parent  0777aa6de45b6f798769868381ebc02cde7b6a42
Makefile: Force rebuild of dependencies when 3rdpartylibs.sh changes.

diff -r 0777aa6de45b -r 75e32633fb96 Makefile
--- a/Makefile	Wed Aug 01 12:29:55 2018 +0200
+++ b/Makefile	Wed Aug 01 13:37:48 2018 +0200
@@ -30,7 +30,7 @@
 	echo 'exec "$$@"' >>"$(ENVWARPPER)"
 	chmod +x "$(ENVWARPPER)"
 
-$(3rdpartylibs-stamp): $(ENVWARPPER)
+$(3rdpartylibs-stamp): $(ENVWARPPER) 3rdpartylibs.sh
 	"$(ENVWARPPER)" bash ./3rdpartylibs.sh && \
 	touch $@