genHeader.py should take a command-line argument naming the board template module and produce a correctly-named header file automatically. The current scheme of editing genHeader.py and redirecting its output on the command line is error-prone and inelegant.
genHeader.py should take a command-line argument naming the board template module and produce a correctly-named header file automatically. The current scheme of editing genHeader.py and redirecting its output on the command line is error-prone and inelegant.