Import Debian changes 20180207-1

[hcoop/debian/mlton.git] / debian / patches / kfreebsd.patch

diff --git a/debian/patches/kfreebsd.patch b/debian/patches/kfreebsd.patch
new file mode 100644 (file)
index 0000000..663e392
--- /dev/null
+++ b/debian/patches/kfreebsd.patch
@@ -0,0 +1,12 @@
+--- a/runtime/platform/freebsd.h
++++ b/runtime/platform/freebsd.h
+@@ -38,9 +38,4 @@
+ 
+ #define MLton_Platform_OS_host "freebsd"
+ 
+-/* This is probably debian specific, since freebsd worked w/o it before. */
+-#if (defined (__FreeBSD_kernel__))
+-#define getpgrp() getpgrp(getpid())
+-#endif
+-
+ extern char **environ; /* for Posix_ProcEnv_environ */