X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fsocket-util.h;h=40a96144d9b21e7fd411c72be4da58bf129a1fc1;hb=f4b6076acab233cfe02e7eaefdeafbb69dfae556;hp=f5d60105eede92f99b0626bcb21315948a3a9ece;hpb=52f8a75e1b9cd27d35f45daabe9ca5495b4faee3;p=openvswitch

diff --git a/lib/socket-util.h b/lib/socket-util.h
index f5d60105..40a96144 100644
--- a/lib/socket-util.h
+++ b/lib/socket-util.h
@@ -45,5 +45,6 @@ int read_fully(int fd, void *, size_t, size_t *bytes_read);
 int write_fully(int fd, const void *, size_t, size_t *bytes_written);
 
 int fsync_parent_dir(const char *file_name);
+int get_mtime(const char *file_name, struct timespec *mtime);
 
 #endif /* socket-util.h */