changeset 303:75e32633fb96

Makefile: Force rebuild of dependencies when 3rdpartylibs.sh changes.
author Sascha Wilde <wilde@intevation.de>
date Wed, 01 Aug 2018 13:37:48 +0200
parents 0777aa6de45b
children 8aa472939148
files Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 $@