diff options
| author | Francois Rouaix <francois.rouaix@gmail.com> | 1995-10-04 10:50:00 +0000 |
|---|---|---|
| committer | Francois Rouaix <francois.rouaix@gmail.com> | 1995-10-04 10:50:00 +0000 |
| commit | 587e1e973202564b4201c059a5cc58ce3ff811c6 (patch) | |
| tree | a46858cb709a4418aec3ddb2e4f991400807da62 /otherlibs/unix | |
| parent | 0c0922e2e88b3605419cb119e5c4bb45a45882ef (diff) | |
Suppression de waitopt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
| -rw-r--r-- | otherlibs/unix/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile index 98ef618b0..18b7fd4c5 100644 --- a/otherlibs/unix/Makefile +++ b/otherlibs/unix/Makefile @@ -19,7 +19,7 @@ OBJS=accept.o access.o addrofstr.o alarm.o bind.o chdir.o chmod.o \ readdir.o readlink.o rename.o rewinddir.o rmdir.o select.o sendrecv.o \ setgid.o setuid.o shutdown.o sleep.o socket.o socketaddr.o \ socketpair.o stat.o strofaddr.o symlink.o termios.o time.o times.o \ - truncate.o umask.o unix.o unlink.o utimes.o wait.o waitopt.o waitpid.o \ + truncate.o umask.o unix.o unlink.o utimes.o wait.o waitpid.o \ write.o INTF= unix.cmi |