mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +00:00
11a513ac63
Some downloads are available via HTTPS only, but wget < 3.14 does not support server-name identification, which is used by some sites. So, we disable certificate checking in wget and check the validity of the download via SIG or SHA. Fixes #1334.