Joost VandeVondele 99221e5ee6 Introduce timeout for wget/curl in net download ...

ensures the download terminates after 5min, even if the server stalled.

closes https://github.com/official-stockfish/Stockfish/pull/6608

No functional change

2026-02-13 06:57:08 +01:00

..

.gitattributes

Add .gitattributes for script LE

2025-01-12 21:16:32 +01:00

get_native_properties.sh

refactor(scripts): improve get_native_properties.sh

2026-02-04 17:58:55 +01:00

net.sh

Introduce timeout for wget/curl in net download

2026-02-13 06:57:08 +01:00