diff options
| -rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..16f272f --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ + +all: kconfig_parser + +kconfig_parser: + @$(MAKE) -C scripts/kconfig_parser/ + +main_loop: kconfig_parser + scripts/main_loop.py + + +clean: + @$(MAKE) -C scripts/kconfig_parser/ clean + $(RM) linux/.config + $(RM) -r build + +# Linux has separate clean option because it takes more time and because in most of the time it is not required clean +clean_linux: + @$(MAKE) -C linux clean |