Permalink
Browse files

Newer versions of wget do not use the file name from the redirected URL.

Explained in the README how to work around this. The option --trust-server-names
cannot be added by default as that would break older wget versions.
  • Loading branch information...
1 parent 56223c8 commit 8e86df7bcc6011cf36750a28109111a68b2802a9 Bruno Dumon committed with Mar 2, 2011
Showing with 10 additions and 0 deletions.
  1. +10 −0 README
View
@@ -59,6 +59,16 @@ If the downloads fail because of certificate problems, you can do:
WGET_OPTS=--no-check-certificate ./run.sh
+If the build fails and you find a file build/master then you have a
+version of wget which does not use the filename from the redirected URL.
+You can work around it with:
+
+ WGET_OPTS=--trust-server-names=on ./run.sh
+
+Or with both options:
+
+ WGET_OPTS=--no-check-certificate --trust-server-names=on ./run.sh
+
There are some other variables that can be overridden - simply look
at the top section of run.sh to learn what they are.

0 comments on commit 8e86df7

Please sign in to comment.