Import Debian changes 20180207-1 debian/20180207-1
[hcoop/debian/mlton.git] / runtime / platform /
drwxr-xr-x   ..
-rw-r--r-- 4450 aix.c
-rw-r--r-- 959 aix.h
-rw-r--r-- 41 alpha.h
-rw-r--r-- 231 amd64.h
-rw-r--r-- 4301 android_ucontext.h
-rw-r--r-- 1009 arm.h
-rw-r--r-- 41 arm64.h
-rw-r--r-- 3806 cygwin.c
-rw-r--r-- 1576 cygwin.h
-rw-r--r-- 1443 darwin.c
-rw-r--r-- 1250 darwin.h
-rw-r--r-- 1822 diskBack.unix.c
-rw-r--r-- 242 displayMem.proc.c
-rw-r--r-- 790 float-math.c
-rw-r--r-- 477 float-math.h
-rw-r--r-- 973 freebsd.c
-rw-r--r-- 1086 freebsd.h
-rw-r--r-- 40 hppa.h
-rw-r--r-- 3741 hpux.c
-rw-r--r-- 1999 hpux.h
-rw-r--r-- 395 hurd.c
-rw-r--r-- 928 hurd.h
-rw-r--r-- 40 ia64.h
-rw-r--r-- 3717 linux.c
-rw-r--r-- 2255 linux.h
-rw-r--r-- 40 m68k.h
-rw-r--r-- 51825 mingw.c
-rw-r--r-- 32708 mingw.h
-rw-r--r-- 40 mips.h
-rw-r--r-- 668 mmap-protect.c
-rw-r--r-- 396 mmap.c
-rw-r--r-- 4397 mremap.c
-rw-r--r-- 626 netbsd.c
-rw-r--r-- 859 netbsd.h
-rw-r--r-- 446 nonwin.c
-rw-r--r-- 798 openbsd.c
-rw-r--r-- 1620 openbsd.h
-rw-r--r-- 43 powerpc.h
-rw-r--r-- 45 powerpc64.h
-rw-r--r-- 1076 recv.nonblock.c
-rw-r--r-- 40 s390.h
-rw-r--r-- 65 setenv.h
-rw-r--r-- 508 setenv.putenv.c
-rw-r--r-- 2143 solaris.c
-rw-r--r-- 2476 solaris.h
-rw-r--r-- 41 sparc.h
-rw-r--r-- 603 sysconf.c
-rw-r--r-- 1774 sysctl.c
-rw-r--r-- 196 use-mmap.c
-rw-r--r-- 16408 windows.c
-rw-r--r-- 39 x86.h