tree f7291f2e15b6254820f17b6509d1ffb4df137181
parent bbe2ee9bf3f4e2670d324883484fb957a1808228
author SimonB <simonb@redtangent.net> 1459689368 +0100
committer Simon Butcher <simon.butcher@arm.com> 1459861854 +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.