crossmingw32-pthreads-w32-sched.patch

   1 --- pthreads-w32-2-9-1-release/sched.h.orig     2011-06-29 07:10:02.000000000 +0200
   2 +++ pthreads-w32-2-9-1-release/sched.h  2018-12-20 18:00:33.452320552 +0100
   3 @@ -117,9 +117,9 @@
   4  #endif /* PTW32_SCHED_LEVEL >= PTW32_SCHED_LEVEL_MAX */
   5
   6  #if (defined(__MINGW64__) || defined(__MINGW32__)) || defined(_UWIN)
   7 -# if PTW32_SCHED_LEVEL >= PTW32_SCHED_LEVEL_MAX
   8  /* For pid_t */
   9  #  include <sys/types.h>
  10 +# if PTW32_SCHED_LEVEL >= PTW32_SCHED_LEVEL_MAX
  11  /* Required by Unix 98 */
  12  #  include <time.h>
  13  # else