diff options
Diffstat (limited to 'BUILD')
| -rw-r--r-- | BUILD/FINISH.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index 39a3dc3f7ef..625802f78cb 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -1,6 +1,10 @@ cflags="$c_warnings $extra_flags" cxxflags="$cxx_warnings $base_cxxflags $extra_flags" configure="./configure $base_configs $extra_configs" +for arg in "$@"; do + configure="$configure "`echo "$arg" | sed -e 's,\([^a-zA-Z0-9_.-]\),\\\\\1,g'` +done + CFLAGS="$cflags" CXX=gcc CXXFLAGS="$cxxflags" eval "$configure" |