diff options
author | Masahiro Yamada <yamada.masahiro@socionext.com> | 2018-12-20 18:27:26 +0900 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2018-12-22 00:35:20 +0900 |
commit | 733f4ef46d3ea31e44cebfec851528089a783f0f (patch) | |
tree | 5714d8c212c1f843955b7437aaaa84307b23451f /arch | |
parent | b30204640192234d18f9168f19f9cd693485b86d (diff) | |
download | linux-733f4ef46d3ea31e44cebfec851528089a783f0f.tar.bz2 |
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 'arch')
-rw-r--r-- | arch/um/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/arch/um/Makefile b/arch/um/Makefile index c08035904849..273130cf91d1 100644 --- a/arch/um/Makefile +++ b/arch/um/Makefile @@ -23,8 +23,6 @@ OS := $(shell uname -s) # features. SHELL := /bin/bash -filechk_gen_header = $< - core-y += $(ARCH_DIR)/kernel/ \ $(ARCH_DIR)/drivers/ \ $(ARCH_DIR)/os-$(OS)/ |