Daniel --
Many thanks for bringing this to our attention. I've filed a PR with the fix:
https://github.com/open-mpi/ompi/pull/6659
> On Apr 16, 2019, at 2:58 PM, Daniel Letai <d...@letai.org.il> wrote:
>
> In src rpm version 4.0.1 if building with --define 'build_all_in_one_rpm 0'
> the grep -v _mandir docs.files is empty.
>
> The simple workaround is to follow earlier pattern and pipe to /bin/true, as
> the spec doesn't really care if the file is empty. I'm wondering if not all
> greps should be protected.
>
> A simple patch:
> diff --git a/contrib/dist/linux/openmpi.spec b/contrib/dist/linux/openmpi.spec
> index 2a80af296b..2b897345f9 100644
> --- a/contrib/dist/linux/openmpi.spec
> +++ b/contrib/dist/linux/openmpi.spec
> @@ -611,7 +611,7 @@ grep -v %{_includedir} devel.files > tmp.files
> mv tmp.files devel.files
>
> # docs sub package
> -grep -v %{_mandir} docs.files > tmp.files
> +grep -v %{_mandir} docs.files > tmp.files | /bin/true
> mv tmp.files docs.files
>
> %endif
>
>
>
> _______________________________________________
> users mailing list
> users@lists.open-mpi.org
> https://lists.open-mpi.org/mailman/listinfo/users
--
Jeff Squyres
jsquy...@cisco.com
_______________________________________________
users mailing list
users@lists.open-mpi.org
https://lists.open-mpi.org/mailman/listinfo/users
