From 1b4d37e922735adc66b221bab6df731e91e98234 Mon Sep 17 00:00:00 2001 From: Syd Bauman Date: Tue, 16 Jun 2026 12:40:41 -0400 Subject: [PATCH] With @martindholmes, give the 'curl' command a timeout so it does not hang for multiple minutes (or maybe forever) when the website is down --- P5/Test/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/P5/Test/Makefile b/P5/Test/Makefile index 8f30b8f5a0..2a162d9495 100644 --- a/P5/Test/Makefile +++ b/P5/Test/Makefile @@ -81,7 +81,7 @@ testmeta2010: @echo " " @echo "--------- P5/Test/Makefile work on target $@ ---------" @echo check that TEI web site is up and responding ... - -TEISITE=`curl -s --head http://www.tei-c.org/Vault/P5/1.5.0/xml/tei/odd/p5subset.xml` + -TEISITE=`curl --silent --max-time 15 --show-error --head http://www.tei-c.org/Vault/P5/1.5.0/xml/tei/odd/p5subset.xml` ifdef TEISITE @echo ... it is, so run tests $(ANT) -f antruntest.xml -DoddFile=testmeta2010.odd -Dtestfile=testmeta2010.xml validateodd