diff --git a/repos/libports/src/lib/libc/dynamic_linker.cc b/repos/libports/src/lib/libc/dynamic_linker.cc index 8760cb18ca..4ca809757e 100644 --- a/repos/libports/src/lib/libc/dynamic_linker.cc +++ b/repos/libports/src/lib/libc/dynamic_linker.cc @@ -68,6 +68,9 @@ static Shared_object *to_object(void *handle) void *dlopen(const char *name, int mode) { + if (mode & RTLD_GLOBAL) + warning("ignoring unsupported RTLD_GLOBAL in dlopen()"); + int supported = RTLD_LAZY | RTLD_NOW | RTLD_LOCAL | RTLD_GLOBAL | RTLD_NODELETE; /* error on unsupported mode values */