diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-10-31 10:48:06 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-10-31 10:48:06 +0000 |
| commit | 8a678be9a23d0d64bf3f791fd3885d24f175f4e8 (patch) | |
| tree | c76f137f78d2ad40cebd98f424696a33e8e0a1a9 /otherlibs/unix | |
| parent | 9288d6fc81a58a86ae21a5a731b18e1417512ff7 (diff) | |
Ajout gettimeofday.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/.depend | 4 | ||||
| -rw-r--r-- | otherlibs/unix/Makefile | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/otherlibs/unix/.depend b/otherlibs/unix/.depend index 67d873c7f..8443b64a0 100644 --- a/otherlibs/unix/.depend +++ b/otherlibs/unix/.depend @@ -34,11 +34,14 @@ getgroups.o : getgroups.c unix.h gethost.o : gethost.c unix.h socketaddr.h gethostname.o : gethostname.c unix.h getlogin.o : getlogin.c unix.h +getpeername.o : getpeername.c unix.h socketaddr.h getpid.o : getpid.c unix.h getppid.o : getppid.c unix.h getproto.o : getproto.c unix.h getpw.o : getpw.c unix.h getserv.o : getserv.c unix.h +getsockname.o : getsockname.c unix.h socketaddr.h +gettimeofday.o : gettimeofday.c unix.h getuid.o : getuid.c unix.h gmtime.o : gmtime.c unix.h ioctl.o : ioctl.c unix.h @@ -84,3 +87,4 @@ wait.o : wait.c unix.h waitpid.o : waitpid.c unix.h write.o : write.c unix.h unix.cmo: unix.cmi +unix.cmx: unix.cmi diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile index 149d61bf0..298bdfea1 100644 --- a/otherlibs/unix/Makefile +++ b/otherlibs/unix/Makefile @@ -14,7 +14,7 @@ OBJS=accept.o access.o addrofstr.o alarm.o bind.o chdir.o chmod.o \ fchmod.o fchown.o fcntl.o fork.o ftruncate.o getcwd.o getegid.o \ geteuid.o getgid.o getgr.o getgroups.o gethost.o gethostname.o \ getlogin.o getpeername.o getpid.o getppid.o getproto.o getpw.o \ - getserv.o getsockname.o getuid.o \ + gettimeofday.o getserv.o getsockname.o getuid.o \ gmtime.o ioctl.o kill.o link.o listen.o lockf.o lseek.o mkdir.o \ mkfifo.o nice.o open.o opendir.o pause.o pipe.o read.o \ readdir.o readlink.o rename.o rewinddir.o rmdir.o select.o sendrecv.o \ |