From efef78d80b5a838f8e78f7e78ea697d07b6a4177 Mon Sep 17 00:00:00 2001
From: "cedric.riou" <cedric.riou@inria.fr>
Date: Thu, 12 Apr 2018 18:08:17 +0200
Subject: [PATCH] [build] fix --sdk-src option for including sdk documentation

---
 scripts/linux-build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/linux-build b/scripts/linux-build
index 2c7d6b0d8..42beee48a 100755
--- a/scripts/linux-build
+++ b/scripts/linux-build
@@ -77,7 +77,7 @@ echo ""
 echo "Creating makefiles..."
 echo ""
 
-cmake ${ov_script_dir}/.. -DCMAKE_BUILD_TYPE=${ov_build_type} ${extra_flags} -DCMAKE_INSTALL_PREFIX=${ov_install_dir} ${ov_sdk_dir} ${ov_designer_dir} ${dependencies_path} ${UserDataSubdir}
+cmake ${ov_script_dir}/.. -DCMAKE_BUILD_TYPE=${ov_build_type} ${extra_flags} -DCMAKE_INSTALL_PREFIX=${ov_install_dir} ${ov_sdk_dir} ${ov_designer_dir} ${dependencies_path} ${UserDataSubdir} -DOV_SDK_SOURCE_PATH=${ov_sdk_src_dir}
 
 if [ $? -eq 0 ]; then
 	echo CMake has been called successfully !
-- 
GitLab