diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 23:22:53 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-15 23:28:17 +0100 |
| commit | 6f160c5c3809c9fd7af7da3f215ca0222e24ccce (patch) | |
| tree | 00d192d60bdafa148280f6123622e727481ea1cc /doc | |
| parent | 96a469f1cdac9c3a1022eca3e7a3cb408b7464eb (diff) | |
| download | patches-6f160c5c3809c9fd7af7da3f215ca0222e24ccce.tar patches-6f160c5c3809c9fd7af7da3f215ca0222e24ccce.tar.gz | |
Revert "gnu: openmpi: Pass explicit "--with-*" configure flags."
This reverts commit eaa52b5baa8fbb26a79890561d0c40344d1e1bf3,
which would lead to build failures on systems other than x86_64-linux.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions