There is no guarantee that URLs will still work the next time we want to
check them, so try to fetch the URL every time instead of caching the
result. This also makes iterations of editing the URL in the rule file
and testing if it works quicker.

Unfortunately, GNU make skips implicit rules for .PHONY targets, but it
is unlikely that $(STATEDIR)/%.urlcheck is created by something other
than PTXdist, so removing the $(call touch) is a good approximation for
phony behaviour.

Signed-off-by: Roland Hieber <[email protected]>
---
 rules/post/ptxd_make_world_get.make | 1 -
 1 file changed, 1 deletion(-)

diff --git a/rules/post/ptxd_make_world_get.make 
b/rules/post/ptxd_make_world_get.make
index a2026c994591..a79b4d170873 100644
--- a/rules/post/ptxd_make_world_get.make
+++ b/rules/post/ptxd_make_world_get.make
@@ -58,7 +58,6 @@ $(STATEDIR)/%.urlcheck:
        @$(call targetinfo)
        @$(foreach src,$($(PTX_MAP_TO_PACKAGE_$(*))_SOURCES), \
                $(call world/urlcheck, $($(src)));)
-       @$(call touch)
 
 world/urlcheck = \
        $(call world/env, $(1)) \
-- 
2.27.0


_______________________________________________
ptxdist mailing list
[email protected]
To unsubscribe, send a mail with subject "unsubscribe" to 
[email protected]

Reply via email to