diff options
| author | Sergei Golubchik <sergii@pisem.net> | 2011-10-28 17:25:20 +0200 |
|---|---|---|
| committer | Sergei Golubchik <sergii@pisem.net> | 2011-10-28 17:25:20 +0200 |
| commit | f6483d3fecc34e9f43f1f13fe8e62e2f58c1d867 (patch) | |
| tree | 09d56cbc712dfb539f27bde46a909dc3fe7bcf3a /dbug | |
| parent | e3efc3d88d8ed52e1a686368a775e96bc84b5526 (diff) | |
| download | mariadb-git-f6483d3fecc34e9f43f1f13fe8e62e2f58c1d867.tar.gz | |
ignore troff failures - they are not fatal
Diffstat (limited to 'dbug')
| -rw-r--r-- | dbug/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dbug/CMakeLists.txt b/dbug/CMakeLists.txt index 94e7c7b111c..a4f30f75f97 100644 --- a/dbug/CMakeLists.txt +++ b/dbug/CMakeLists.txt @@ -53,13 +53,13 @@ IF(NOT WIN32) IF(GROFF) ADD_CUSTOM_COMMAND(OUTPUT user.ps DEPENDS user.r ${OUTPUT_INC} ${SOURCE_INC} - COMMAND ${GROFF} -mm ${CMAKE_CURRENT_SOURCE_DIR}/user.r > user.ps) + COMMAND ${GROFF} -mm ${CMAKE_CURRENT_SOURCE_DIR}/user.r > user.ps || touch user.ps) ADD_CUSTOM_TARGET(ps ALL DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/user.ps) ENDIF(GROFF) IF(NROFF) ADD_CUSTOM_COMMAND(OUTPUT user.t DEPENDS user.r ${OUTPUT_INC} ${SOURCE_INC} - COMMAND ${NROFF} -mm ${CMAKE_CURRENT_SOURCE_DIR}/user.r > user.t) + COMMAND ${NROFF} -mm ${CMAKE_CURRENT_SOURCE_DIR}/user.r > user.t || touch user.t) ADD_CUSTOM_TARGET(t ALL DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/user.t) ENDIF(NROFF) |