diff options
| author | Pieter Noordhuis <pcnoordhuis@gmail.com> | 2017-11-15 00:53:14 -0800 |
|---|---|---|
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | 2017-11-15 01:05:48 -0800 |
| commit | 2bc71d4135c7e0235644d71348add17a370c9d94 (patch) | |
| tree | 0875eed118c7b0c678e43bc3cdd75d424bd322b6 /.jenkins | |
| parent | 2bf4dec9ff197d1b67a024799c389bc20fd2a5ed (diff) | |
| download | pytorch-2bc71d4135c7e0235644d71348add17a370c9d94.tar.gz pytorch-2bc71d4135c7e0235644d71348add17a370c9d94.tar.bz2 pytorch-2bc71d4135c7e0235644d71348add17a370c9d94.zip | |
Forward args to .jenkins/build.sh to cmake
Summary:
So we can do things like pass -DCMAKE_BUILD_TYPE=DEBUG
Closes https://github.com/caffe2/caffe2/pull/1474
Differential Revision: D6334701
Pulled By: pietern
fbshipit-source-id: 08e6e48ba453ffca50ad0949ee7b0bf7251a542f
Diffstat (limited to '.jenkins')
| -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 |