| commit | a7e356664a139d8a905bb53a2e34bbae7f082c6b | [log] [tgz] |
|---|---|---|
| author | David Brazdil <dbrazdil@google.com> | Thu Dec 03 09:40:38 2020 +0000 |
| committer | David Brazdil <dbrazdil@google.com> | Thu Dec 03 09:40:38 2020 +0000 |
| tree | ea82b7b10ed290b5c3284492b67545eb2786aa55 | |
| parent | edb7c78e8e5c5f47053d45e4d4004fac9a0ff475 [diff] |
Add linux_menuconfig target A handy shortcut to change the config of your kernel. Change-Id: I1341d10a671222920b933a84e941dc42578537da
diff --git a/Makefile b/Makefile index a7be173..8dbe270 100644 --- a/Makefile +++ b/Makefile
@@ -207,6 +207,10 @@ linux_defconfig $(LINUX_CONFIG): + $(LINUX_MAKE) $(LINUX_DEFCONFIG) +.PHONY: linux_menuconfig +linux_menuconfig: $(LINUX_CONFIG) + + $(LINUX_MAKE) menuconfig + .PHONY: linux linux: $(LINUX_CONFIG) + $(LINUX_MAKE)