diff options
| -rw-r--r-- | make/user-mode-linux.mk | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/make/user-mode-linux.mk b/make/user-mode-linux.mk index 930e24915..a09f28a8d 100644 --- a/make/user-mode-linux.mk +++ b/make/user-mode-linux.mk @@ -30,13 +30,16 @@ $(UMLINUX_DIR)/.set_arch: $(UMLINUX_DIR)/.patched perl -i -p -e "s/^ARCH :=.*/ARCH:=um/g;" $(UMLINUX_DIR)/Makefile touch $(UMLINUX_DIR)/.set_arch -$(UMLINUX_DIR)/.config: $(UMLINUX_DIR)/.set_arch +$(UMLINUX_DIR)/.configured: $(UMLINUX_DIR)/.set_arch $(UMLINUX_KCONFIG) cp $(UMLINUX_KCONFIG) $(UMLINUX_DIR)/.config make -C $(UMLINUX_DIR) oldconfig - touch -c $(UMLINUX_DIR)/.config + touch $(UMLINUX_DIR)/.configured -$(UMLINUX_DIR)/linux: $(UMLINUX_DIR)/.config +$(UMLINUX_DIR)/.depend_done: $(UMLINUX_DIR)/.configured make -C $(UMLINUX_DIR) dep + touch $(UMLINUX_DIR)/.depend_done + +$(UMLINUX_DIR)/linux: $(UMLINUX_DIR)/.depend_done make -C $(UMLINUX_DIR) linux $(LINUX_KERNEL): $(UMLINUX_DIR)/linux |