ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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 <ol@infoserver.lv>

Fixes #3538
This commit is contained in:
Oleg Girko 2019-10-15 19:36:46 +01:00 committed by Christian Helmuth
parent 5cd684997a
commit a5bc031cca
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/run/genode_org.run
View File

@ -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
}
}