diff options
Diffstat (limited to 'databases/mysql80-server/files/patch-CMakeLists.txt')
| -rw-r--r-- | databases/mysql80-server/files/patch-CMakeLists.txt | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/databases/mysql80-server/files/patch-CMakeLists.txt b/databases/mysql80-server/files/patch-CMakeLists.txt index e62b36ad9f44..be696f28ba09 100644 --- a/databases/mysql80-server/files/patch-CMakeLists.txt +++ b/databases/mysql80-server/files/patch-CMakeLists.txt @@ -77,12 +77,4 @@ IF(WITH_INTERNAL) ADD_SUBDIRECTORY(internal) ENDIF() -@@ -2336,7 +2345,7 @@ ENDIF() - INCLUDE(fastcov) - ENDIF() - --IF(UNIX) -+IF(FALSE) - ADD_SUBDIRECTORY(man) - ENDIF() |