aboutsummaryrefslogtreecommitdiff
path: root/build/mvn
diff options
context:
space:
mode:
Diffstat (limited to 'build/mvn')
-rwxr-xr-xbuild/mvn10
1 files changed, 5 insertions, 5 deletions
diff --git a/build/mvn b/build/mvn
index a87c5a2623..53babf54de 100755
--- a/build/mvn
+++ b/build/mvn
@@ -34,14 +34,14 @@ install_app() {
local binary="${_DIR}/$3"
# setup `curl` and `wget` silent options if we're running on Jenkins
- local curl_opts=""
+ local curl_opts="-L"
local wget_opts=""
if [ -n "$AMPLAB_JENKINS" ]; then
- curl_opts="-s"
- wget_opts="--quiet"
+ curl_opts="-s ${curl_opts}"
+ wget_opts="--quiet ${wget_opts}"
else
- curl_opts="--progress-bar"
- wget_opts="--progress=bar:force"
+ curl_opts="--progress-bar ${curl_opts}"
+ wget_opts="--progress=bar:force ${wget_opts}"
fi
if [ -z "$3" -o ! -f "$binary" ]; then