From 2bc71d4135c7e0235644d71348add17a370c9d94 Mon Sep 17 00:00:00 2001
From: Pieter Noordhuis <pcnoordhuis@gmail.com>
Date: Wed, 15 Nov 2017 00:53:14 -0800
Subject: 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
---
 .jenkins/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.jenkins')

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
-- 
cgit v1.2.3