Merge commit 'v3.3.0' into upstream

[debian/gnuradio] / dtools / bin / get-config-files

diff --git a/dtools/bin/get-config-files b/dtools/bin/get-config-files
new file mode 100755 (executable)
index 0000000..d9e8811
--- /dev/null
+++ b/dtools/bin/get-config-files
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+# fetch latest config.guess and config.sub
+
+# 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'