tree 0b04e55e4e651eb5858b0320a4ecb6915e3e9818
parent d13b9507b3eb868acf3b999956daddf0b090b699
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1456133614 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1456134452 +0100

Give better error messages for semi-portable parts

Previously it was failing with errors about headers not found, which is
suboptimal in terms of clarity. Now give a clean error with pointer to the
documentation.

Do the checks in the .c files rather than check_config.h as it keeps them
closer to the platform-specific implementations.