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 1572cefb9..e84541c03 100644 --- a/make/user-mode-linux.mk +++ b/make/user-mode-linux.mk @@ -35,7 +35,7 @@ $(LINUX_DIR)/.patched: $(LINUX_DIR)/.unpacked touch $(LINUX_DIR)/.patched $(LINUX_DIR)/.set_arch: $(LINUX_DIR)/.patched - sed -i -e "s/^ARCH :=.*/ARCH:=um/g;" $(LINUX_DIR)/Makefile + $(SED) "s/^ARCH :=.*/ARCH:=um/g;" $(LINUX_DIR)/Makefile touch $(LINUX_DIR)/.set_arch $(LINUX_DIR)/.configured $(BUILD_DIR)/linux/.configured: $(LINUX_DIR)/.set_arch $(LINUX_KCONFIG) |