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	3300	log stats plain
-rw-r--r--	Makefile	3174	log stats plain
-rw-r--r--	accept.c	1669	log stats plain
-rw-r--r--	access.c	1833	log stats plain
-rw-r--r--	addrofstr.c	1545	log stats plain
-rw-r--r--	alarm.c	1049	log stats plain
-rw-r--r--	bind.c	1403	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	1128	log stats plain
-rw-r--r--	connect.c	1505	log stats plain
-rw-r--r--	cst2constr.c	1131	log stats plain
-rw-r--r--	cst2constr.h	996	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	1083	log stats plain
-rw-r--r--	errmsg.c	1573	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	1275	log stats plain
-rw-r--r--	fchown.c	1267	log stats plain
-rw-r--r--	fcntl.c	2347	log stats plain
-rw-r--r--	fork.c	1083	log stats plain
-rw-r--r--	ftruncate.c	1247	log stats plain
-rw-r--r--	getcwd.c	1609	log stats plain
-rw-r--r--	getegid.c	1016	log stats plain
-rw-r--r--	geteuid.c	1016	log stats plain
-rw-r--r--	getgid.c	1014	log stats plain
-rw-r--r--	getgr.c	1880	log stats plain
-rw-r--r--	getgroups.c	1482	log stats plain
-rw-r--r--	gethost.c	3058	log stats plain
-rw-r--r--	gethostname.c	1600	log stats plain
-rw-r--r--	getlogin.c	1182	log stats plain
-rw-r--r--	getpeername.c	1425	log stats plain
-rw-r--r--	getpid.c	1014	log stats plain
-rw-r--r--	getppid.c	1016	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	1420	log stats plain
-rw-r--r--	gettimeofday.c	1364	log stats plain
-rw-r--r--	getuid.c	1014	log stats plain
-rw-r--r--	gmtime.c	2849	log stats plain
-rw-r--r--	itimer.c	2287	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	1269	log stats plain
-rw-r--r--	lockf.c	2775	log stats plain
-rw-r--r--	lseek.c	1370	log stats plain
-rw-r--r--	mkdir.c	1142	log stats plain
-rw-r--r--	mkfifo.c	1515	log stats plain
-rw-r--r--	nice.c	1545	log stats plain
-rw-r--r--	open.c	1399	log stats plain
-rw-r--r--	opendir.c	1202	log stats plain
-rw-r--r--	pipe.c	1185	log stats plain
-rw-r--r--	putenv.c	1554	log stats plain
-rw-r--r--	read.c	1506	log stats plain
-rw-r--r--	readdir.c	1460	log stats plain
-rw-r--r--	readlink.c	1464	log stats plain
-rw-r--r--	rename.c	1131	log stats plain
-rw-r--r--	rewinddir.c	1258	log stats plain
-rw-r--r--	rmdir.c	1070	log stats plain
-rw-r--r--	select.c	3036	log stats plain
-rw-r--r--	sendrecv.c	4645	log stats plain
-rw-r--r--	setgid.c	1071	log stats plain
-rw-r--r--	setsid.c	1161	log stats plain
-rw-r--r--	setuid.c	1071	log stats plain
-rw-r--r--	shutdown.c	1349	log stats plain
-rw-r--r--	signals.c	2904	log stats plain
-rw-r--r--	sleep.c	1105	log stats plain
-rw-r--r--	socket.c	1591	log stats plain
-rw-r--r--	socketaddr.c	3229	log stats plain
-rw-r--r--	socketaddr.h	1654	log stats plain
-rw-r--r--	socketpair.c	1599	log stats plain
-rw-r--r--	sockopt.c	6698	log stats plain
-rw-r--r--	stat.c	2851	log stats plain
-rw-r--r--	strofaddr.c	1297	log stats plain
-rw-r--r--	symlink.c	1254	log stats plain
-rw-r--r--	termios.c	7829	log stats plain
-rw-r--r--	time.c	1075	log stats plain
-rw-r--r--	times.c	1568	log stats plain
-rw-r--r--	truncate.c	1248	log stats plain
-rw-r--r--	umask.c	1076	log stats plain
-rw-r--r--	unix.ml	22583	log stats plain
-rw-r--r--	unix.mli	44162	log stats plain
-rw-r--r--	unixLabels.ml	963	log stats plain
-rw-r--r--	unixLabels.mli	46583	log stats plain
-rw-r--r--	unixsupport.c	5944	log stats plain
-rw-r--r--	unixsupport.h	1139	log stats plain
-rw-r--r--	unlink.c	1073	log stats plain
-rw-r--r--	utimes.c	2095	log stats plain
-rw-r--r--	wait.c	2966	log stats plain
-rw-r--r--	write.c	1868	log stats plain