unix.ffi: adding fileno.

diff --git a/basis/unix/ffi/ffi.factor b/basis/unix/ffi/ffi.factor
index 2572a518e0e3b98a15aa8a701d1316af11805d22..fb820949b3abbe384f5654387add5ae94495621e 100644 (file)
--- a/basis/unix/ffi/ffi.factor
+++ b/basis/unix/ffi/ffi.factor
@@ -69,6 +69,7 @@ FUNCTION: void endpwent ( ) ;
 FUNCTION: int fchdir ( int fd ) ;
 FUNCTION: int fchown ( int fd, uid_t owner, gid_t group ) ;
 FUNCTION: int fcntl ( int fd, int cmd, int arg ) ;
+FUNCTION: int fileno ( FILE* stream ) ;
 FUNCTION: int flock ( int fd, int operation ) ;
 FUNCTION: void freeaddrinfo ( addrinfo* ai ) ;
 FUNCTION: int futimes ( int id, timeval[2] times ) ;