From 0f122180329259737dd1a32b18016c045c60da2d Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 9 Sep 2014 14:39:08 -0400
Subject: Add a VERBOSE flag to make-sdk-win32

For debugging purposes.
---
 dev/make-sdk-win32.sh | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/make-sdk-win32.sh b/dev/make-sdk-win32.sh
index 0b8d1515bb..f0a024a798 100755
--- a/dev/make-sdk-win32.sh
+++ b/dev/make-sdk-win32.sh
@@ -9,10 +9,14 @@
 # License: Expat/MIT http://opensource.org/licenses/MIT
 
 # This script reads the following environment variables:
+# VERBOSE     - set to non-empty to have wget/this script be more verbose, for debugging purposes
 # BASE        - set to non-empty to give a different location for the zip file, e.g., if /cygdrive/c is full or doesn't exist
 
 set -e
-# set -x
+if [ ! -z "$VERBOSE" ]
+then
+  set -x
+fi
 
 # Resources
 ocaml=ocaml-4.01.0-i686-mingw64-installer3.exe
@@ -49,6 +53,13 @@ else
 fi
 BASE="$TRUE_BASE/CoqSDK-$REVISION"
 
+if [ -z "$VERBOSE" ]
+then
+  WGET_ARGS="-N -q"
+else
+  WGET_ARGS="-N"
+fi
+
 # Windows has a version of FIND in C:/Windows/system32/find, and we don't want to use that
 if [ -x /usr/bin/find ]
 then
-- 
cgit v1.2.3