re-enable vdso clock_gettime on arm (32-bit) with workaround

[musl] / src / legacy / utmpx.c

diff --git a/src/legacy/utmpx.c b/src/legacy/utmpx.c
index fa69f38..7aa65da 100644 (file)
--- a/src/legacy/utmpx.c
+++ b/src/legacy/utmpx.c
@@ -2,7 +2,6 @@
 #include <utmpx.h>
 #include <stddef.h>
 #include <errno.h>
-#include "libc.h"
 
 void endutxent(void)
 {
@@ -36,7 +35,7 @@ void updwtmpx(const char *f, const struct utmpx *u)
 {
 }
 
-int __utmpxname(const char *f)
+static int __utmpxname(const char *f)
 {
        errno = ENOTSUP;
        return -1;