diff options
-rw-r--r-- | coin/module_config.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coin/module_config.yaml b/coin/module_config.yaml index 3c873b0ff9..66dfbf2d44 100644 --- a/coin/module_config.yaml +++ b/coin/module_config.yaml @@ -233,7 +233,7 @@ regular_specific_test_instructions: ®ular_test_instructions disable_if: condition: property property: configureArgs - in_values: "-DBUILD_SHARED_LIBS=OFF" + contains_value: "-DBUILD_SHARED_LIBS=OFF" build_instructions: |