diff options
| -rwxr-xr-x | .jenkins/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.jenkins/build.sh b/.jenkins/build.sh index f8b45c0c76..7e4dd48307 100755 --- a/.jenkins/build.sh +++ b/.jenkins/build.sh @@ -36,7 +36,7 @@ case "${BUILD_ENVIRONMENT}" in esac # Configure -cmake .. ${CMAKE_ARGS[*]} +cmake .. ${CMAKE_ARGS[*]} "$@" # Build if [ "$(uname)" == "Linux" ]; then |