1
0
mirror of https://github.com/ARMmbed/mbedtls.git synced 2025-07-16 20:35:25 +08:00
SimonB 2181449d5c 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.
2016-04-05 14:10:54 +01:00
..
2016-01-12 14:48:03 +00:00
2015-09-04 14:31:16 +02:00
2015-06-23 13:09:10 +02:00
2015-04-08 13:25:31 +02:00
2015-11-25 10:50:27 +00:00
2015-04-08 13:25:31 +02:00
2015-09-09 13:51:05 +02:00
2015-04-20 12:27:12 +01:00
2015-04-08 13:25:31 +02:00