diff options
Diffstat (limited to 'coin')
-rw-r--r-- | coin/module_config.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coin/module_config.yaml b/coin/module_config.yaml index 868a106d7e..840310ed66 100644 --- a/coin/module_config.yaml +++ b/coin/module_config.yaml @@ -173,6 +173,7 @@ build_instructions: equals_value: Windows - type: ExecuteCommand command: "{{.Env.ENV_PREFIX}} cmake {{.Env.CONFIGURE_ARGS}} -DCMAKE_INSTALL_PREFIX:PATH={{.InstallDir}} -DBUILD_TESTING=OFF {{.SourceDir}}" + executeCommandArgumentSplitingBehavior: SplitAfterVariableSubstitution maxTimeInSeconds: 6000 maxTimeBetweenOutput: 120 userMessageOnFailure: > |