diff options
2 files changed, 2 insertions, 2 deletions
diff --git a/network/rdma-core/README b/network/rdma-core/README
index 2bf247a640..158ddc2908 100644
--- a/network/rdma-core/README
+++ b/network/rdma-core/README
@@ -1,4 +1,4 @@
-The "rdma-core" the userspace components for the Linux Kernel's
+The "rdma-core" is the userspace components for the Linux Kernel's
drivers/infiniband subsystem. Specifically this contains the
userspace libraries for the following device nodes:
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