1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a933cbb..129403f 100644
--- a/Makefile
+++ b/Makefile
@@ -40,6 +40,9 @@ mlinux:
 deflinux:
 	ARCH=$(ARCH) $(MAKE) -C linux defconfig
 
+mpermute: permute
+	cd linux && SRCARCH=$(ARCH) ARCH=$(ARCH) KERNELVERSION=$(ARCH) ../scripts/permute/permute Kconfig
+
 init: initialize
 initialize: parse_kconfig picosat
 	scripts/initialize.py