1 files changed, 13 insertions, 0 deletions
diff --git a/bin/explore-kconfig.py b/bin/explore-kconfig.py
index 4c08826..e59db17 100755
--- a/bin/explore-kconfig.py
+++ b/bin/explore-kconfig.py
@@ -56,6 +56,15 @@ def main():
         help="Attribute extraction command",
         default="make attributes",
     )
+    parser.add_argument(
+        "--randconfig-command",
+        type=str,
+        help="Randconfig command for --random",
+        default="make randconfig",
+    )
+    parser.add_argument(
+        "--kconfig-file", type=str, help="Kconfig file", default="Kconfig"
+    )
     parser.add_argument("project_root", type=str, help="Project root directory")
 
     args = parser.parse_args()
@@ -73,6 +82,10 @@ def main():
         kconf.build_command = args.build_command
     if args.attribute_command:
         kconf.attribute_command = args.attribute_command
+    if args.randconfig_command:
+        kconf.randconfig_command = args.randconfig_command
+    if args.kconfig_file:
+        kconf.kconfig = args.kconfig_file
 
     if args.random:
         for i in range(args.random):