Merge branch 'po/29467_gui_log_file'

[modules/shaper.git] / make.sh

diff --git a/make.sh b/make.sh
index dcb39447e4cc93b21d7d3e1116bc23ff60d7a8c8..49d78c1f49a41d9d2aec9bc930821cf47f23b364 100755 (executable)
--- a/make.sh
+++ b/make.sh
@@ -21,6 +21,10 @@ while [[ $# > 0 ]]; do
       ADD_COMPATIBILITY_TESTS=TRUE
       shift
       ;;
+    hdf|test-hdf-models)
+      ADD_HDF_TESTS=TRUE
+      shift
+      ;;
     *)
       shift
       ;;
@@ -41,6 +45,7 @@ CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_BUILD_TYPE=${BUILD_TYPE:-Release}"
 CMAKE_ARGS="${CMAKE_ARGS} -DUSE_TEST_COVERAGE=${USE_TEST_COVERAGE:-OFF}"
 CMAKE_ARGS="${CMAKE_ARGS} -DADD_MODELS_TESTS=${ADD_MODELS_TESTS:-FALSE}"
 CMAKE_ARGS="${CMAKE_ARGS} -DADD_COMPATIBILITY_TESTS=${ADD_COMPATIBILITY_TESTS:-FALSE}"
+CMAKE_ARGS="${CMAKE_ARGS} -DADD_HDF_TESTS=${ADD_HDF_TESTS:-FALSE}"
 CMAKE_ARGS="${CMAKE_ARGS} -DCMAKE_INSTALL_PREFIX:PATH=${SHAPER_ROOT_DIR}"
 CMAKE_ARGS="${CMAKE_ARGS} ${SOURCES_DIR}"