debian/patches/kfreebsd.patch

   1 --- a/runtime/platform/freebsd.h
   2 +++ b/runtime/platform/freebsd.h
   3 @@ -38,9 +38,4 @@
   4
   5  #define MLton_Platform_OS_host "freebsd"
   6
   7 -/* This is probably debian specific, since freebsd worked w/o it before. */
   8 -#if (defined (__FreeBSD_kernel__))
   9 -#define getpgrp() getpgrp(getpid())
  10 -#endif
  11 -
  12  extern char **environ; /* for Posix_ProcEnv_environ */