diff options
Diffstat (limited to 'network/rdma-core/optional_pandoc.patch')
| -rw-r--r-- | network/rdma-core/optional_pandoc.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/network/rdma-core/optional_pandoc.patch b/network/rdma-core/optional_pandoc.patch index b86f398a60..1e435a94b2 100644 --- a/network/rdma-core/optional_pandoc.patch +++ b/network/rdma-core/optional_pandoc.patch @@ -1,5 +1,5 @@ The master "CMakeLists.txt" listed "pandoc" as an optional dependency, -but subsequent "make install" fails is "pandoc" was missing. +but subsequent "make install" fails if "pandoc" is missing. This patch makes "pandoc" really optional. diff -ru rdma-core-25.0.orig/CMakeLists.txt rdma-core-25.0/CMakeLists.txt --- rdma-core-25.0.orig/CMakeLists.txt 2019-07-26 02:17:21.000000000 +0800 |