Skip to content

Instantly share code, notes, and snippets.

@fschutt
Created July 20, 2016 19:00
Show Gist options
  • Save fschutt/349e77b822820c0bf0138d5deb9b6f8d to your computer and use it in GitHub Desktop.
Save fschutt/349e77b822820c0bf0138d5deb9b6f8d to your computer and use it in GitHub Desktop.
#!/bin/bash
wget=/usr/bin/wget
CONFIG=""
CONFIG_GUESS_URL='http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD'
CONFIG_SUB_URL='http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.sub;hb=HEAD'
update-configure(){
for CONFIG in $(find -name config.guess) ; do
$wget -q -O $CONFIG $CONFIG_GUESS_URL
done
for CONFIG in $(find -name config.sub) ; do
$wget -q -O $CONFIG $CONFIG_SUB_URL
done
}
update-configure
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment