diff options
Diffstat (limited to 'build/patch_windows_sdk.sh')
| -rwxr-xr-x | build/patch_windows_sdk.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/build/patch_windows_sdk.sh b/build/patch_windows_sdk.sh index bee15ce..2bbf24c 100755 --- a/build/patch_windows_sdk.sh +++ b/build/patch_windows_sdk.sh @@ -1,14 +1,18 @@ #!/bin/bash -# This file is included by development.git/tools/build/patch_windows_sdk.sh. +# This file is run by development/tools/build/windows_sdk.mk right +# after development.git/tools/build/patch_windows_sdk.sh. # Please see the details in the other file. +set -e # any error stops the build # Verbose by default. Use -q to make more silent. -V="-v" +V="" if [[ "$1" == "-q" ]]; then - V="" shift +else + echo "Win SDK: $0 $*" + set -x # show bash commands; no need for V=-v fi TEMP_SDK_DIR=$1 |