options/posix: Fix gettid() signature

This commit is contained in:
Alexander van der Grinten 2018-01-22 22:06:11 +01:00
parent 9be4673aed
commit 110148fd5e

View file

@ -287,7 +287,7 @@ int getpagesize(void) {
// usleep() is provided by the platform
// This is a Linux extension
pid_t gettid(void *, size_t, unsigned int) {
pid_t gettid(void) {
__ensure(!"Not implemented");
__builtin_unreachable();
}