summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorPaul Davis <paul@linuxaudiosystems.com>2012-05-02 23:10:52 +0000
committerPaul Davis <paul@linuxaudiosystems.com>2012-05-02 23:10:52 +0000
commit6e24e2596bd05f9ca001d83068094eb391ea1fcb (patch)
tree745732aa0f2ce4ac3712efe1e33b508b96392d03 /tools
parent17640c504ed830a73327acb3402a44e18c43e00f (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-xtools/build-gtk-stack4
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
}