diff options
| author | eb | 2007-11-11 18:04:45 +0000 |
|---|---|---|
| committer | eb | 2007-11-11 18:04:45 +0000 |
| commit | 7fd9da3a4d2a1700212a8d8cd784bd8321af54ad (patch) | |
| tree | d151ef3d3af6c5a29874c7ee59c8288b4d684654 /dtools | |
| parent | d458e807fd31000d3844497ba25c919a7058e009 (diff) | |
| download | gnuradio-7fd9da3a4d2a1700212a8d8cd784bd8321af54ad.tar.gz gnuradio-7fd9da3a4d2a1700212a8d8cd784bd8321af54ad.tar.bz2 gnuradio-7fd9da3a4d2a1700212a8d8cd784bd8321af54ad.zip | |
config files have new canonical home
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@6860 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'dtools')
| -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' |