tree a9547bd7acccbb69dc1216d72c62e8c3c5f5587c
parent ec1c22294781cb1e43f87990f7399ff91e3c2e04
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1560777667 +0200
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1560777994 +0200

Use negated option for controlling TLS support.

A positive option looks better, but comes with the following compatibility
issue: people using a custom config.h that is not based on the default
config.h and need TLS support would need to manually change their config in
order to still get TLS.

Work around that by making the public option negative. Internally the positive
option is used, though.

In the future (when preparing the next major version), we might want to switch
back to a positive option as this would be more consistent with other options
we have.