From a5bc031cca989a320fb083da48c65cb204599c1b Mon Sep 17 00:00:00 2001 From: Oleg Girko Date: Tue, 15 Oct 2019 19:36:46 +0100 Subject: [PATCH] genode_org: Fix download URL. As genode.org site is now protected by TLS and unencrypted site is redirected to enctypted one, download URL should be modified to reflect this change. Without this change, wget downloads just index.html file. Signed-off-by: Oleg Girko Fixes #3538 --- repos/ports/run/genode_org.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/ports/run/genode_org.run b/repos/ports/run/genode_org.run index b31da972c..0b6282b28 100644 --- a/repos/ports/run/genode_org.run +++ b/repos/ports/run/genode_org.run @@ -112,7 +112,7 @@ if {![file exists bin/genode_org/website/index]} { # ignore wget errors catch { - exec wget -nH -Lrc -P bin/genode_org/website http://genode.org + exec wget -nH -Lrc -P bin/genode_org/website https://genode.org } }