diff options
Diffstat (limited to 'make/user-mode-linux.mk')
| -rw-r--r-- | make/user-mode-linux.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/user-mode-linux.mk b/make/user-mode-linux.mk index a09f28a8d..9cffa8b03 100644 --- a/make/user-mode-linux.mk +++ b/make/user-mode-linux.mk @@ -32,7 +32,7 @@ $(UMLINUX_DIR)/.set_arch: $(UMLINUX_DIR)/.patched $(UMLINUX_DIR)/.configured: $(UMLINUX_DIR)/.set_arch $(UMLINUX_KCONFIG) cp $(UMLINUX_KCONFIG) $(UMLINUX_DIR)/.config - make -C $(UMLINUX_DIR) oldconfig + make -C $(UMLINUX_DIR) oldconfig include/linux/version.h touch $(UMLINUX_DIR)/.configured $(UMLINUX_DIR)/.depend_done: $(UMLINUX_DIR)/.configured |