diff options
-rwxr-xr-x | dtools/bin/get-config-files | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/dtools/bin/get-config-files b/dtools/bin/get-config-files index 7f3ad0c6a..d9e8811ac 100755 --- a/dtools/bin/get-config-files +++ b/dtools/bin/get-config-files @@ -2,5 +2,9 @@ # fetch latest config.guess and config.sub -wget 'http://savannah.gnu.org/cgi-bin/viewcvs/config/config/config.guess?rev=HEAD&content-type=text/plain' -wget 'http://savannah.gnu.org/cgi-bin/viewcvs/config/config/config.sub?rev=HEAD&content-type=text/plain' +# They've moved... +# wget -O config.guess 'http://savannah.gnu.org/cgi-bin/viewcvs/config/config/config.guess?rev=HEAD&content-type=text/plain' +# wget -O config.sub 'http://savannah.gnu.org/cgi-bin/viewcvs/config/config/config.sub?rev=HEAD&content-type=text/plain' + +wget -O config.guess 'http://cvs.savannah.gnu.org/viewvc/*checkout*/config/config/config.guess?content-type=text%2Fplain&revision=HEAD' +wget -O config.sub 'http://cvs.savannah.gnu.org/viewvc/*checkout*/config/config/config.sub?content-type=text%2Fplain&revision=HEAD' |