diff options
| -rwxr-xr-x | tools/update-config-guess | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/update-config-guess b/tools/update-config-guess index 5b9dcd4..931ba43 100755 --- a/tools/update-config-guess +++ b/tools/update-config-guess @@ -2,7 +2,7 @@ # This file is part of MXE. # See index.html for further information. # -# Script to automatically update GNU Make Standard Library +# Script to automatically update config.guess # (http://gmsl.sourceforge.net/) clean(){ @@ -27,11 +27,15 @@ current_version=$(grep 'timestamp.*=' 'ext/config.guess' 2>/dev/null | \ head -1 | cut -d'=' -f2 | $SED -e 's/^ //' -e 's/ *$//' ) clean + # Fetch latest config.guess from Savannah Git $WGET -q -O tmp-config-guess 'http://git.savannah.gnu.org/gitweb/?p=config.git;a=blob_plain;f=config.guess;hb=HEAD' + # Latest config.guess timestamp latest_version=$(grep 'timestamp.*=' 'tmp-config-guess' | head -1 | \ head -1 | cut -d'=' -f2 | $SED -e 's/^ //' -e 's/ *$//') + +# Compare versions if [ "$current_version" != "$latest_version" ]; then echo "New version found: $current_version --> $latest_version" rm -f ext/config.guess @@ -40,4 +44,5 @@ if [ "$current_version" != "$latest_version" ]; then else echo "No new version available: $current_version" fi + clean |