linux: add dup3

https://bugzilla.gnome.org/show_bug.cgi?id=729803

diff --git a/vapi/linux.vapi b/vapi/linux.vapi
index 3c4c7381f78dde3cba9c202e12fdf39c0c94e3c7..f65a36ef2e93f9a1fe735f101e3fd996a2d1ca8b 100644 (file)
--- a/vapi/linux.vapi
+++ b/vapi/linux.vapi
@@ -1059,6 +1059,8 @@ namespace Linux {
       public void symbols_fd (void*[] buffer, int fd);
     }
 
+    [CCode (cheader_filename = "unistd.h")]
+    public int dup3 (int oldfd, int newfd, int flags);
     [CCode (cheader_filename = "unistd.h")]
     public int sethostname (string name, size_t len);