[ewg] [GIT PULL compat-rdma] PVRDMA driver for OFED 4.8

[Adit Ranadive]

On Thu, Nov 03, 2016 at 12:29:08AM +0200, Vladimir Sokolovsky wrote:
> 
> Hi Adit,
> I merged your commits and fixed the typo in the configure script:
> 
> @@ -709,6 +712,12 @@ main()
>                              CONFIG_SUNRPC_XPRT_RDMA_CLIENT=
>                              CONFIG_SUNRPC_XPRT_RDMA_SERVER=
>                          ;;
> +                        --with-pvrdma-mod)
> +                            CONFIG_INFINIBAND_PVRDMA="m"
> +                        ;;
> +                       --without-pvrdma-mod)
> +                           CONFIG_INFINIBAND=
> +                       ;;
> 
> Should be "CONFIG_INFINIBAND_PVRDMA=" 

Thanks for merging this and for fixing the typo!

Adit