diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2012-05-02 23:09:30 +0000 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2012-05-02 23:09:30 +0000 |
commit | 17640c504ed830a73327acb3402a44e18c43e00f (patch) | |
tree | 1666c346c57983e688752c87c99b1aa0cbfd6825 /tools | |
parent | de738be185b925a0840e7233e17de3794a7e751e (diff) |
makeit possible to use wget rather than curl on non-osx, part 3
git-svn-id: svn://localhost/ardour2/branches/2.0-ongoing@12155 d708f5d6-7413-0410-9779-e7cbd77b26cf
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 |