diff options
-rw-r--r-- | coin_build_instructions.py | 2 | ||||
-rw-r--r-- | coin_test_instructions.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/coin_build_instructions.py b/coin_build_instructions.py index d8aa74758..5d9ee7d4d 100644 --- a/coin_build_instructions.py +++ b/coin_build_instructions.py @@ -47,7 +47,7 @@ import os # Values must match COIN thrift CI_HOST_OS = option_value("os") CI_TARGET_OS = option_value("targetOs") -CI_HOST_OS_VER = option_value("osver") +CI_HOST_OS_VER = option_value("osVer") CI_ENV_INSTALL_DIR = option_value("instdir") CI_ENV_AGENT_DIR = option_value("agentdir") CI_COMPILER = option_value("compiler") diff --git a/coin_test_instructions.py b/coin_test_instructions.py index eb6ee2ad1..1da961e72 100644 --- a/coin_test_instructions.py +++ b/coin_test_instructions.py @@ -47,7 +47,7 @@ import os # Values must match COIN thrift CI_HOST_OS = option_value("os") CI_TARGET_OS = option_value("targetOs") -CI_HOST_OS_VER = option_value("osver") +CI_HOST_OS_VER = option_value("osVer") CI_ENV_INSTALL_DIR = option_value("instdir") CI_ENV_AGENT_DIR = option_value("agentdir") or "." CI_COMPILER = option_value("compiler") |