]> rtime.felk.cvut.cz Git - linux-conf-perf.git/blobdiff - Makefile
Add mpermute target for executing command permute
[linux-conf-perf.git] / Makefile
index a933cbb0d37822001740af1b06353a6dd6ecc202..129403f46edb407f8508b92507c0dada4a90b0f0 100644 (file)
--- 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