diff options
Diffstat (limited to 'coin')
| -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 9463bc7253..5290784a19 100644 --- a/coin/module_config.yaml +++ b/coin/module_config.yaml @@ -11,7 +11,7 @@ build_instructions: - type: ChangeDirectory directory: "{{.BuildDir}}" - type: ExecuteCommand - command: cmake {{.Env.CONFIGURE_ARGS}} + command: cmake {{.Env.CONFIGURE_ARGS}} -DCMAKE_INSTALL_PREFIX:PATH={{.InstallDir}} {{.SourceDir}} maxTimeInSeconds: 6000 maxTimeBetweenOutput: 120 userMessageOnFailure: > |