diff options
Diffstat (limited to 'coin/instructions/cmake_documentation_build.yaml')
| -rw-r--r-- | coin/instructions/cmake_documentation_build.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coin/instructions/cmake_documentation_build.yaml b/coin/instructions/cmake_documentation_build.yaml index d8ce9765ff..4fcdab8394 100644 --- a/coin/instructions/cmake_documentation_build.yaml +++ b/coin/instructions/cmake_documentation_build.yaml @@ -7,7 +7,7 @@ instructions: - type: ChangeDirectory directory: "{{.BuildDir}}" - type: ExecuteCommand - command: "rm {{.SourceDir}}/CMakeCache.txt" # CMake configure does not apply if not removed. + command: "rm -f {{.SourceDir}}/CMakeCache.txt" # CMake configure does not apply if not removed. maxTimeInSeconds: 300 maxTimeBetweenOutput: 300 userMessageOnFailure: Failed to remove CMake cache. |