diff options
| author | Al Viro <viro@zeniv.linux.org.uk> | 2020-05-22 20:12:06 -0400 |
|---|---|---|
| committer | Al Viro <viro@zeniv.linux.org.uk> | 2020-10-25 20:03:05 -0400 |
| commit | 7848d2e26d7a2c436df378f5237105917f070212 (patch) | |
| tree | af0a54bfe94564d9dc5eef20746ade362925b383 /lib/mpi/mpi-sub-ui.c | |
| parent | 77f9c902f45f30b7fdeb82e5d3322dd498dd95a4 (diff) | |
whack-a-mole: USE_ELF_CORE_DUMP
It's been killed off back in 2009. Not a damn thing checks it.
Just die, already...
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Diffstat (limited to 'lib/mpi/mpi-sub-ui.c')
0 files changed, 0 insertions, 0 deletions