summaryrefslogtreecommitdiff
path: root/setconfig.py
AgeCommit message (Collapse)Author
2019-03-06setconfig: Fix help text formatUlf Magnusson
Need to use RawDescriptionHelpFormatter to preserve newlines in the description. Also fix a typo in the help text (s/assignments/assignment/)
2019-02-11setconfig: Add scriptUlf Magnusson
This is a simple script for updating configuration values from the command line, with (optional) checking that the assigned value matches the actual symbol value afterwards (which it might not if there are unsatisfied dependencies). Sample usage: $ setconfig FOO_SUPPORT=y BAR_BITS=8 This is useful for patching the configuration in automated build systems, in a way that's safer than directly patching configuration files.