diff options
| author | Masahiro Yamada <yamada.masahiro@socionext.com> | 2018-12-20 12:27:26 +0300 |
|---|---|---|
| committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2018-12-21 18:35:20 +0300 |
| commit | 733f4ef46d3ea31e44cebfec851528089a783f0f (patch) | |
| tree | 5714d8c212c1f843955b7437aaaa84307b23451f /lib/mpi/mpi-cmp.c | |
| parent | b30204640192234d18f9168f19f9cd693485b86d (diff) | |
| download | linux-733f4ef46d3ea31e44cebfec851528089a783f0f.tar.xz | |
um: remove unused filechk_gen_header in Makefile
This is a leftover of commit ecba97d4aacf ("[PATCH] uml makefiles
sanitized").
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Diffstat (limited to 'lib/mpi/mpi-cmp.c')
0 files changed, 0 insertions, 0 deletions
