From a0f0018496f01f22caf358a56b1d6b91f100af1a Mon Sep 17 00:00:00 2001 From: Ulf Magnusson Date: Tue, 5 Jun 2018 13:16:12 +0200 Subject: Turn syncconfig.py into genconfig.py and generate header There should be a script available that generates the output header for the build. It usually makes sense to generate both the header and any incremental build information at the same time (automatically during build), so roll them both into the same script. --- syncconfig.py | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100755 syncconfig.py (limited to 'syncconfig.py') diff --git a/syncconfig.py b/syncconfig.py deleted file mode 100755 index 7a97d01..0000000 --- a/syncconfig.py +++ /dev/null @@ -1,37 +0,0 @@ -#!/usr/bin/env python - -# This script can be used to implement incremental builds, where changing a -# symbol will recompile just the source files that reference it. -# -# See the docstring for the Kconfig.sync_deps() function for more usage -# information. -# -# Usage: -# -# (Automatically) run the following command before each build: -# -# $ syncconfig [] -# -# This will indirectly catch any (relevant) changes to Kconfig files and -# environment variables as well, so it's redundant to have separate -# dependencies for those (except as a slight optimization). - -import sys - -import kconfiglib - -def main(): - if not 2 <= len(sys.argv) <= 3: - sys.exit("usage: {} [Kconfig] ".format(sys.argv[0])) - - if len(sys.argv) == 2: - kconfig_filename = "Kconfig" - sym_dir = sys.argv[1] - else: - kconfig_filename = sys.argv[1] - sym_dir = sys.argv[2] - - kconfiglib.Kconfig(kconfig_filename).sync_deps(sym_dir) - -if __name__ == "__main__": - main() -- cgit v1.2.3