tree b46a1e4f8fd3e38892c60253652c9f10892beebf
parent c9f4d6d44899a26f001c28b93e86cf7d6452e693
author Gilles Peskine <Gilles.Peskine@arm.com> 1521152721 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1521475831 +0100

Replace MBEDTLS_EINTR by IS_EINTR

check-names.sh reserves the prefix MBEDTLS_ for macros defined in
config.h so this name (or check-names.sh) had to change.

This is also more flexible because it allows for platforms that don't have
an EINTR equivalent or have multiple such values.