Update script to pull config.* from git repo
[debian/gnuradio] / dtools / bin / get-config-files
1 #!/bin/bash
2
3 # fetch latest config.guess and config.sub
4
5 wget -O config.guess 'http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD'
6 wget -O config.sub 'http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD'