diff options
| author | Eric Andersen <andersen@codepoet.org> | 2003-01-17 08:09:39 +0000 |
|---|---|---|
| committer | Eric Andersen <andersen@codepoet.org> | 2003-01-17 08:09:39 +0000 |
| commit | a413a043f777611cf15419a4408ee60f0404b1a3 (patch) | |
| tree | 21bed37a126d6eb70d40cf90534ccdf9c6462fcb /make/user-mode-linux.mk | |
| parent | cd5135a43204cebeae8dceaf5b9fc3f8ff8f9348 (diff) | |
update handling of 'make'
Diffstat (limited to 'make/user-mode-linux.mk')
| -rw-r--r-- | make/user-mode-linux.mk | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/make/user-mode-linux.mk b/make/user-mode-linux.mk index c7d22e9b8..04ee8df34 100644 --- a/make/user-mode-linux.mk +++ b/make/user-mode-linux.mk @@ -37,15 +37,15 @@ $(LINUX_DIR)/.set_arch: $(LINUX_DIR)/.patched $(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 + $(MAKE) -C $(LINUX_DIR) oldconfig include/linux/version.h touch $(LINUX_DIR)/.configured $(LINUX_DIR)/.depend_done: $(LINUX_DIR)/.configured - make -C $(LINUX_DIR) dep + $(MAKE) -C $(LINUX_DIR) dep touch $(LINUX_DIR)/.depend_done $(LINUX_DIR)/linux: $(LINUX_DIR)/.depend_done - make -C $(LINUX_DIR) linux + $(MAKE) -C $(LINUX_DIR) linux $(LINUX_KERNEL): $(LINUX_DIR)/linux cp -fa $(LINUX_DIR)/linux $(LINUX_KERNEL) @@ -55,7 +55,7 @@ user-mode-linux: $(LINUX_KERNEL) # Renamed so it is not cleaned by default on a make clean user-mode-linux_clean: clean rm -f $(LINUX_KERNEL) - -make -C $(LINUX_DIR) clean + -$(MAKE) -C $(LINUX_DIR) clean user-mode-linux-dirclean: rm -rf $(LINUX_DIR) |