1 files changed, 0 insertions, 20 deletions
diff --git a/tools/config.py b/tools/config.py
deleted file mode 100755
index 11de99c..0000000
--- a/tools/config.py
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/usr/bin/env python3
-
-import os
-import argparse
-import subprocess
-
-if __name__ == "__main__":
-    parser = argparse.ArgumentParser()
-    parser.add_argument("--kconfig", metavar="Kconfig", nargs="?", default="Kconfig", help="Top-level Kconfig file (default: Kconfig)")
-    parser.add_argument("--dotconfig", metavar="dotconfig", nargs="?", default=".config", help=".config")
-    parser.add_argument("--generate", metavar="config_header", nargs="?", default="config.h", help="Generate config file")
-
-    args = parser.parse_args()
-
-    # set srctree, otherwise includes don't work
-    os.environ["srctree"] = os.path.dirname(os.path.realpath(args.kconfig))
-    os.environ["KCONFIG_CONFIG"] = os.path.realpath(args.dotconfig)
-
-    subprocess.run(["genconfig", os.path.realpath(args.kconfig), "--header-path=" + args.generate], check=True)
-