unix « otherlibs - adrien/ocaml - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	.cvsignore	13	log stats plain
-rw-r--r--	.depend	46209	log stats plain
-rw-r--r--	Makefile	3163	log stats plain
-rw-r--r--	accept.c	1696	log stats plain
-rw-r--r--	access.c	1852	log stats plain
-rw-r--r--	addrofstr.c	1873	log stats plain
-rw-r--r--	alarm.c	1041	log stats plain
-rw-r--r--	bind.c	1421	log stats plain
-rw-r--r--	chdir.c	1094	log stats plain
-rw-r--r--	chmod.c	1166	log stats plain
-rw-r--r--	chown.c	1144	log stats plain
-rw-r--r--	chroot.c	1097	log stats plain
-rw-r--r--	close.c	1066	log stats plain
-rw-r--r--	closedir.c	1260	log stats plain
-rw-r--r--	connect.c	1523	log stats plain
-rw-r--r--	cst2constr.c	1131	log stats plain
-rw-r--r--	cst2constr.h	968	log stats plain
-rw-r--r--	cstringv.c	1228	log stats plain
-rw-r--r--	dup.c	1088	log stats plain
-rw-r--r--	dup2.c	1479	log stats plain
-rw-r--r--	envir.c	1089	log stats plain
-rw-r--r--	errmsg.c	1191	log stats plain
-rw-r--r--	execv.c	1330	log stats plain
-rw-r--r--	execve.c	1421	log stats plain
-rw-r--r--	execvp.c	1864	log stats plain
-rw-r--r--	exit.c	1152	log stats plain
-rw-r--r--	fchmod.c	1293	log stats plain
-rw-r--r--	fchown.c	1285	log stats plain
-rw-r--r--	fcntl.c	2365	log stats plain
-rw-r--r--	fork.c	1083	log stats plain
-rw-r--r--	ftruncate.c	1519	log stats plain
-rw-r--r--	getaddrinfo.c	4252	log stats plain
-rw-r--r--	getcwd.c	1627	log stats plain
-rw-r--r--	getegid.c	1022	log stats plain
-rw-r--r--	geteuid.c	1022	log stats plain
-rw-r--r--	getgid.c	1020	log stats plain
-rw-r--r--	getgr.c	1880	log stats plain
-rw-r--r--	getgroups.c	1500	log stats plain
-rw-r--r--	gethost.c	5115	log stats plain
-rw-r--r--	gethostname.c	1607	log stats plain
-rw-r--r--	getlogin.c	1188	log stats plain
-rw-r--r--	getnameinfo.c	2186	log stats plain
-rw-r--r--	getpeername.c	1442	log stats plain
-rw-r--r--	getpid.c	1020	log stats plain
-rw-r--r--	getppid.c	1022	log stats plain
-rw-r--r--	getproto.c	2173	log stats plain
-rw-r--r--	getpw.c	2187	log stats plain
-rw-r--r--	getserv.c	2422	log stats plain
-rw-r--r--	getsockname.c	1442	log stats plain
-rw-r--r--	gettimeofday.c	1382	log stats plain
-rw-r--r--	getuid.c	1020	log stats plain
-rw-r--r--	gmtime.c	2867	log stats plain
-rw-r--r--	isatty.c	1032	log stats plain
-rw-r--r--	itimer.c	2576	log stats plain
-rw-r--r--	kill.c	1206	log stats plain
-rw-r--r--	link.c	1102	log stats plain
-rw-r--r--	listen.c	1287	log stats plain
-rw-r--r--	lockf.c	2934	log stats plain
-rw-r--r--	lseek.c	1835	log stats plain
-rw-r--r--	mkdir.c	1142	log stats plain
-rw-r--r--	mkfifo.c	1557	log stats plain
-rw-r--r--	nice.c	1545	log stats plain
-rw-r--r--	open.c	1871	log stats plain
-rw-r--r--	opendir.c	1286	log stats plain
-rw-r--r--	pipe.c	1191	log stats plain
-rw-r--r--	putenv.c	1572	log stats plain
-rw-r--r--	read.c	1506	log stats plain
-rw-r--r--	readdir.c	1454	log stats plain
-rw-r--r--	readlink.c	1482	log stats plain
-rw-r--r--	rename.c	1131	log stats plain
-rw-r--r--	rewinddir.c	1379	log stats plain
-rw-r--r--	rmdir.c	1070	log stats plain
-rw-r--r--	select.c	3209	log stats plain
-rw-r--r--	sendrecv.c	4963	log stats plain
-rw-r--r--	setgid.c	1071	log stats plain
-rw-r--r--	setsid.c	1179	log stats plain
-rw-r--r--	setuid.c	1071	log stats plain
-rw-r--r--	shutdown.c	1367	log stats plain
-rw-r--r--	signals.c	2922	log stats plain
-rw-r--r--	sleep.c	1105	log stats plain
-rw-r--r--	socket.c	1695	log stats plain
-rw-r--r--	socketaddr.c	4046	log stats plain
-rw-r--r--	socketaddr.h	1870	log stats plain
-rw-r--r--	socketpair.c	1617	log stats plain
-rw-r--r--	sockopt.c	7151	log stats plain
-rw-r--r--	stat.c	3872	log stats plain
-rw-r--r--	strofaddr.c	1672	log stats plain
-rw-r--r--	symlink.c	1272	log stats plain
-rw-r--r--	termios.c	7847	log stats plain
-rw-r--r--	time.c	1081	log stats plain
-rw-r--r--	times.c	2179	log stats plain
-rw-r--r--	truncate.c	1521	log stats plain
-rw-r--r--	umask.c	1076	log stats plain
-rw-r--r--	unix.ml	28728	log stats plain
-rw-r--r--	unix.mli	51998	log stats plain
-rw-r--r--	unixLabels.ml	963	log stats plain
-rw-r--r--	unixLabels.mli	53610	log stats plain
-rw-r--r--	unixsupport.c	6102	log stats plain
-rw-r--r--	unixsupport.h	1231	log stats plain
-rw-r--r--	unlink.c	1073	log stats plain
-rw-r--r--	utimes.c	2113	log stats plain
-rw-r--r--	wait.c	3068	log stats plain
-rw-r--r--	write.c	2905	log stats plain