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 ecdbd775c..b9c33540e 100644 --- a/make/user-mode-linux.mk +++ b/make/user-mode-linux.mk @@ -35,7 +35,7 @@ $(LINUX_DIR)/.set_arch: $(LINUX_DIR)/.patched perl -i -p -e "s/^ARCH :=.*/ARCH:=um/g;" $(LINUX_DIR)/Makefile touch $(LINUX_DIR)/.set_arch -$(LINUX_DIR)/.configured: $(LINUX_DIR)/.set_arch $(LINUX_KCONFIG) +$(LINUX_DIR)/.configured $(BUILD_DIR)/linux/.configured: $(LINUX_DIR)/.set_arch $(LINUX_KCONFIG) cp $(LINUX_KCONFIG) $(LINUX_DIR)/.config make -C $(LINUX_DIR) oldconfig include/linux/version.h touch $(LINUX_DIR)/.configured |