1/* Linux defines the ftime system call but doesn't actually implement
2 it. Use the BSD implementation. */
3#include <sysdeps/unix/bsd/ftime.c>
4