@@ -4908,6 +4908,7 @@ extern "C" {
}
int clock_gettime(int X, struct timespec *tv) {
+ (void)X;
LARGE_INTEGER t;
FILETIME f;
double microseconds;