aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 5f44e10..0a7e260 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
-.PHONY: all help parse_kconfig write_config build run test clean clean_linux clean_buildroot mlinux mbuildroot deflinux distclean_linux distclean_buildroot distclean picosat init initialize
+.PHONY: all help parse_kconfig write_config build run test clean clean_linux clean_buildroot mlinux mbuildroot deflinux distclean_linux distclean_buildroot distclean picosat init initialize permute
-include .conf.mk
-all: parse_kconfig write_config picosat
+all: parse_kconfig write_config permute picosat
help:
@echo "all - Builds basic programs and prints message about next steps."
@@ -87,6 +87,9 @@ parse_kconfig:
write_config:
@$(MAKE) -C scripts/write_config/
+permute:
+ @$(MAKE) -C scripts/permute/
+
$(BUILDROOT_INITRAM): scripts/buildroot/.config scripts/buildroot/system/skeleton/usr/bin/linux-conf-perf
@$(MAKE) -C scripts/buildroot