]> git.sesse.net Git - stockfish/commit
projects / stockfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a32d3e) | patch
No error if net available but wget/curl missing
authorJoost VandeVondele <Joost.VandeVondele@gmail.com>
Mon, 19 Dec 2022 16:54:36 +0000 (17:54 +0100)
committerJoost VandeVondele <Joost.VandeVondele@gmail.com>
Mon, 19 Dec 2022 17:17:50 +0000 (18:17 +0100)
commit61ea1534ff7026009a3435575c7beee91534db83
tree073687d4311fed1a0967e64b022c2730146696a1tree | snapshot
parent3a32d3e00cca23648f10a40c5b322f2fd56dc0aecommit | diff
No error if net available but wget/curl missing

do not error out on missing wget/curl if these tools are not needed later on,
i.e. if the net is available already.

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

No functional change
src/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.