diff options
author | Masahiro Yamada <yamada.masahiro@socionext.com> | 2019-01-14 03:29:29 -0500 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2019-01-16 09:31:17 -0500 |
commit | b421b8a6cb87f099466fff00d1870c2db778c617 (patch) | |
tree | 28e1dfa456dd73e3f9e9a07d247dd04d24702665 /lib/mpi/mpiutil.c | |
parent | bd352a739fde9834d48379e8eca428fe897144ac (diff) |
kbuild: remove unused archmrproper
No one uses archmrproper.
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Diffstat (limited to 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions