diff options
author | Timothy Gu <timothygu99@gmail.com> | 2014-07-27 17:48:52 (GMT) |
---|---|---|
committer | Timothy Gu <timothygu99@gmail.com> | 2014-07-27 17:48:52 (GMT) |
commit | 270f686e9302adde931726337c58b421840cebb0 (patch) | |
tree | cb5803f7ef1d2d87e47308680932f5875770fc5f /tools | |
parent | 7230a01f1a111b84538bd81f7b7e83e5a969f686 (diff) | |
download | mxe-270f686e9302adde931726337c58b421840cebb0.zip mxe-270f686e9302adde931726337c58b421840cebb0.tar.gz mxe-270f686e9302adde931726337c58b421840cebb0.tar.bz2 |
update-gmsl: show new version when there is one
Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/update-gmsl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/update-gmsl b/tools/update-gmsl index bf88b50..d015197 100755 --- a/tools/update-gmsl +++ b/tools/update-gmsl @@ -34,6 +34,7 @@ latest_version=$( clean if [ $current_version != $latest_version ]; then + echo "New version found: $current_version --> $latest_version" $WGET -q -O tmp-gmsl.tar.gz \ "http://downloads.sourceforge.net/project/gmsl/GNU%20Make%20Standard%20Library/v${latest_version}/gmsl-${latest_version}.tar.gz" tar xzf tmp-gmsl.tar.gz |