diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2012-05-02 23:10:52 +0000 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2012-05-02 23:10:52 +0000 |
commit | 6e24e2596bd05f9ca001d83068094eb391ea1fcb (patch) | |
tree | 745732aa0f2ce4ac3712efe1e33b508b96392d03 /tools | |
parent | 17640c504ed830a73327acb3402a44e18c43e00f (diff) |
makeit possible to use wget rather than curl on non-osx, part 4
git-svn-id: svn://localhost/ardour2/branches/2.0-ongoing@12156 d708f5d6-7413-0410-9779-e7cbd77b26cf
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/build-gtk-stack | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build-gtk-stack b/tools/build-gtk-stack index 6b91abdf89..9c224c19a3 100755 --- a/tools/build-gtk-stack +++ b/tools/build-gtk-stack @@ -9,7 +9,7 @@ function fetch_as_is() { if uname -a | grep --silent arwin ; then curl -LO $1 else - wget $1 + wget --no-check-certificate $1 fi } @@ -17,7 +17,7 @@ function fetch_as () { if uname -a | grep --silent arwin ; then curl -L -o $1 $2 else - wget $1 -O $1 $2 + wget --no-check-certificate -O $1 $2 fi } |