unix\otherlibs - delta/ocaml.git - github.com: ocaml/ocaml

Mode	Name	Size
-rw-r--r--	.depend	267	log plain
-rw-r--r--	META.in	189	log plain
-rw-r--r--	Makefile	3586	log plain
-rw-r--r--	accept_unix.c	2311	log plain
-rw-r--r--	accept_win32.c	2013	log plain
-rw-r--r--	access.c	2298	log plain
-rw-r--r--	addrofstr.c	3080	log plain
-rw-r--r--	alarm.c	1229	log plain
-rw-r--r--	bind_unix.c	1635	log plain
-rw-r--r--	bind_win32.c	1520	log plain
-rw-r--r--	channels_unix.c	2933	log plain
-rw-r--r--	channels_win32.c	5164	log plain
-rw-r--r--	chdir.c	1589	log plain
-rw-r--r--	chmod.c	1667	log plain
-rw-r--r--	chown.c	1578	log plain
-rw-r--r--	chroot.c	1532	log plain
-rw-r--r--	close_on.c	1521	log plain
-rw-r--r--	close_unix.c	1375	log plain
-rw-r--r--	close_win32.c	1860	log plain
-rw-r--r--	closedir.c	1593	log plain
-rw-r--r--	connect_unix.c	1754	log plain
-rw-r--r--	connect_win32.c	1656	log plain
-rw-r--r--	createprocess.c	6004	log plain
-rw-r--r--	cst2constr.c	1335	log plain
-rw-r--r--	cst2constr.h	1199	log plain
-rw-r--r--	cstringv.c	1815	log plain
-rw-r--r--	dune	8407	log plain
-rw-r--r--	dup2.c	1992	log plain
-rw-r--r--	dup_unix.c	1601	log plain
-rw-r--r--	dup_win32.c	4065	log plain
-rw-r--r--	envir_unix.c	2012	log plain
-rw-r--r--	envir_win32.c	1715	log plain
-rw-r--r--	errmsg_unix.c	1404	log plain
-rw-r--r--	errmsg_win32.c	1914	log plain
-rw-r--r--	execv.c	1713	log plain
-rw-r--r--	execve.c	1848	log plain
-rw-r--r--	execvp.c	6092	log plain
-rw-r--r--	exit.c	1338	log plain
-rw-r--r--	fchmod.c	1624	log plain
-rw-r--r--	fchown.c	1612	log plain
-rw-r--r--	fcntl.c	2090	log plain
-rw-r--r--	fork.c	2185	log plain
-rw-r--r--	fsync.c	1563	log plain
-rw-r--r--	ftruncate.c	2123	log plain
-rw-r--r--	getaddrinfo.c	4674	log plain
-rw-r--r--	getcwd.c	1763	log plain
-rw-r--r--	getegid.c	1210	log plain
-rw-r--r--	geteuid.c	1210	log plain
-rw-r--r--	getgid.c	1208	log plain
-rw-r--r--	getgr.c	2464	log plain
-rw-r--r--	getgroups.c	1718	log plain
-rw-r--r--	gethost.c	5331	log plain
-rw-r--r--	gethostname.c	1792	log plain
-rw-r--r--	getlogin.c	1391	log plain
-rw-r--r--	getnameinfo.c	2456	log plain
-rw-r--r--	getpeername_unix.c	1658	log plain
-rw-r--r--	getpeername_win32.c	1546	log plain
-rw-r--r--	getpid_unix.c	1208	log plain
-rw-r--r--	getpid_win32.c	1249	log plain
-rw-r--r--	getppid.c	1210	log plain
-rw-r--r--	getproto.c	2404	log plain
-rw-r--r--	getpw.c	2642	log plain
-rw-r--r--	getserv.c	2736	log plain
-rw-r--r--	getsockname_unix.c	1658	log plain
-rw-r--r--	getsockname_win32.c	1546	log plain
-rw-r--r--	gettimeofday_unix.c	1505	log plain
-rw-r--r--	gettimeofday_win32.c	1575	log plain
-rw-r--r--	getuid.c	1208	log plain
-rw-r--r--	gmtime.c	3046	log plain
-rw-r--r--	initgroups.c	1735	log plain
-rw-r--r--	isatty_unix.c	1220	log plain
-rw-r--r--	isatty_win32.c	1224	log plain
-rw-r--r--	itimer.c	2864	log plain
-rw-r--r--	kill.c	1472	log plain
-rw-r--r--	link_unix.c	2161	log plain
-rw-r--r--	link_win32.c	2339	log plain
-rw-r--r--	listen_unix.c	1499	log plain
-rw-r--r--	listen_win32.c	1354	log plain
-rw-r--r--	lockf_unix.c	3183	log plain
-rw-r--r--	lockf_win32.c	4864	log plain
-rw-r--r--	lseek_unix.c	2413	log plain
-rw-r--r--	lseek_win32.c	2442	log plain
-rw-r--r--	mkdir.c	1712	log plain
-rw-r--r--	mkfifo.c	2268	log plain
-rw-r--r--	mmap_ba.c	2972	log plain
-rw-r--r--	mmap_unix.c	6853	log plain
-rw-r--r--	mmap_win32.c	5057	log plain
-rw-r--r--	nanosecond_stat.h	1487	log plain
-rw-r--r--	nice.c	1419	log plain
-rw-r--r--	nonblock.c	1834	log plain
-rw-r--r--	open_unix.c	2830	log plain
-rw-r--r--	open_win32.c	3419	log plain
-rw-r--r--	opendir.c	1733	log plain
-rw-r--r--	pipe_unix.c	1726	log plain
-rw-r--r--	pipe_win32.c	1916	log plain
-rw-r--r--	putenv.c	1865	log plain
-rw-r--r--	read_unix.c	1694	log plain
-rw-r--r--	read_win32.c	2362	log plain
-rw-r--r--	readdir.c	1759	log plain
-rw-r--r--	readlink_unix.c	1944	log plain
-rw-r--r--	readlink_win32.c	3812	log plain
-rw-r--r--	realpath_unix.c	1620	log plain
-rw-r--r--	realpath_win32.c	2493	log plain
-rw-r--r--	rename_unix.c	1708	log plain
-rw-r--r--	rename_win32.c	1834	log plain
-rw-r--r--	rewinddir.c	1587	log plain
-rw-r--r--	rmdir.c	1589	log plain
-rw-r--r--	select_unix.c	3612	log plain
-rw-r--r--	select_win32.c	38269	log plain
-rw-r--r--	sendrecv_unix.c	5293	log plain
-rw-r--r--	sendrecv_win32.c	4747	log plain
-rw-r--r--	setgid.c	1264	log plain
-rw-r--r--	setgroups.c	1839	log plain
-rw-r--r--	setsid.c	1455	log plain
-rw-r--r--	setuid.c	1264	log plain
-rw-r--r--	shutdown_unix.c	1581	log plain
-rw-r--r--	shutdown_win32.c	1451	log plain
-rw-r--r--	signals.c	3570	log plain
-rw-r--r--	sleep_unix.c	2773	log plain
-rw-r--r--	sleep_win32.c	1333	log plain
-rw-r--r--	socket_unix.c	2245	log plain
-rw-r--r--	socket_win32.c	2842	log plain
-rw-r--r--	socketaddr.c	5578	log plain
-rw-r--r--	socketaddr.h	3160	log plain
-rw-r--r--	socketpair_unix.c	2232	log plain
-rw-r--r--	socketpair_win32.c	5720	log plain
-rw-r--r--	sockopt_unix.c	7667	log plain
-rw-r--r--	sockopt_win32.c	6375	log plain
-rw-r--r--	spawn.c	5554	log plain
-rw-r--r--	startup.c	1742	log plain
-rw-r--r--	stat_unix.c	6034	log plain
-rw-r--r--	stat_win32.c	14629	log plain
-rw-r--r--	strofaddr.c	2556	log plain
-rw-r--r--	symlink_unix.c	2091	log plain
-rw-r--r--	symlink_win32.c	4860	log plain
-rw-r--r--	system.c	1747	log plain
-rw-r--r--	termios.c	9791	log plain
-rw-r--r--	time.c	1367	log plain
-rw-r--r--	times_unix.c	2527	log plain
-rw-r--r--	times_win32.c	1820	log plain
-rw-r--r--	truncate_unix.c	2407	log plain
-rw-r--r--	truncate_win32.c	3861	log plain
-rw-r--r--	umask.c	1264	log plain
-rw-r--r--	unix.mli	76977	log plain
-rw-r--r--	unixLabels.ml	1141	log plain
-rw-r--r--	unixLabels.mli	78420	log plain
-rw-r--r--	unix_unix.ml	38791	log plain
-rw-r--r--	unix_win32.ml	39612	log plain
-rw-r--r--	unixsupport.h	5759	log plain
-rw-r--r--	unixsupport_unix.c	7691	log plain
-rw-r--r--	unixsupport_win32.c	11082	log plain
-rw-r--r--	unlink.c	1595	log plain
-rw-r--r--	utimes_unix.c	2878	log plain
-rw-r--r--	utimes_win32.c	2866	log plain
-rw-r--r--	wait.c	3469	log plain
-rw-r--r--	windbug.c	1321	log plain
-rw-r--r--	windbug.h	1758	log plain
-rw-r--r--	windir.c	2619	log plain
-rw-r--r--	winlist.c	2046	log plain
-rw-r--r--	winlist.h	2029	log plain
-rw-r--r--	winwait.c	3056	log plain
-rw-r--r--	winworker.c	9674	log plain
-rw-r--r--	winworker.h	2703	log plain
-rw-r--r--	write_unix.c	3111	log plain
-rw-r--r--	write_win32.c	3519	log plain