tree e1155c2a5d42733ced12b4607a1dc091599a5981
parent a7ffc8f7396573bec401e0afcc073137522d5305
author SimonB <simonb@redtangent.net> 1459689368 +0100
committer SimonB <simonb@redtangent.net> 1459689368 +0100

Adds option to config.pl to force config changes

The script config.pl fails when setting a #define symbol if the symbol isn't
already in the configuration header. This adds an option '--force' to append
the symbol to the end of the file if it isn't already present.

Also clarified usage, and added copyright to the config.pl.