jenkins: always set KDB_DB_HOME to workspace
@@ -54,6 +54,7 @@ CMAKE_FLAGS_BASE = [
'SITE': '${STAGE_NAME}',
'KDB_DB_SYSTEM': '${WORKSPACE}/config/kdb/system',
'KDB_DB_SPEC': '${WORKSPACE}/config/kdb/spec',
+ 'KDB_DB_HOME': '${WORKSPACE}/config/kdb/home',
'CMAKE_INSTALL_PREFIX': '${WORKSPACE}/system',
'INSTALL_SYSTEM_FILES': 'OFF',
'BUILD_DOCUMENTATION': 'OFF'
