diff options
Diffstat (limited to 'tools/update-gmsl')
| -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 |