diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build-gtk-stack | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build-gtk-stack b/tools/build-gtk-stack index d64f4249a6..6b91abdf89 100755 --- a/tools/build-gtk-stack +++ b/tools/build-gtk-stack @@ -13,7 +13,7 @@ function fetch_as_is() { fi } -function fetch_as_() { +function fetch_as () { if uname -a | grep --silent arwin ; then curl -L -o $1 $2 else |