diff options
Diffstat (limited to 'configure.sh')
-rwxr-xr-x | configure.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/configure.sh b/configure.sh index bd95e38ed..070e2c230 100755 --- a/configure.sh +++ b/configure.sh @@ -1,6 +1,8 @@ -#!/bin/sh +#!/bin/bash #--------------------------------------------------------------------------# +set -e -o pipefail + usage () { cat <<EOF Usage: $0 [<build type>] [<option> ...] @@ -458,7 +460,7 @@ root_dir=$(pwd) [ $win64 = ON ] && [ -e "$build_dir" ] && rm -r "$build_dir" mkdir -p "$build_dir" -cd "$build_dir" || exit 1 +cd "$build_dir" [ -e CMakeCache.txt ] && rm CMakeCache.txt build_dir_escaped=$(echo "$build_dir" | sed 's/\//\\\//g') |