pkgsrc/lang/smlnj11072/patches
dholland e23f9ed410 Honor the pkgsrc configure shell instead of using /bin/sh, as on some
platforms /bin/sh gets one something uselessly broken.

Also, don't set MAKE to Solaris's make on Solaris; while this might be
necessary building standalone, in pkgsrc it's foolish.
2016-07-03 19:18:46 +00:00
..
patch-aa
patch-ab
patch-ad
patch-ae
patch-af
patch-ag
patch-ah
patch-ai
patch-aj
patch-ak
patch-am
patch-an
patch-ao
patch-ap
patch-aq
patch-ar
patch-at Honor the pkgsrc configure shell instead of using /bin/sh, as on some 2016-07-03 19:18:46 +00:00
patch-config___arch-n-opsys Sync 32-on-64 hacks from main smlnj package. 2016-07-03 19:00:24 +00:00
patch-src_runtime_gc_gc-stats.h Sync newer patches (mostly the time handling fixes) from base smlnj package. 2016-07-03 18:52:32 +00:00
patch-src_runtime_gc_init-gc.c Sync newer patches (mostly the time handling fixes) from base smlnj package. 2016-07-03 18:52:32 +00:00
patch-src_runtime_kernel_unix-timers.c Sync newer patches (mostly the time handling fixes) from base smlnj package. 2016-07-03 18:52:32 +00:00
patch-src_runtime_mach-dep_unix-prof.c Sync newer patches (mostly the time handling fixes) from base smlnj package. 2016-07-03 18:52:32 +00:00
patch-src_runtime_objs_mk.x86-netbsd Sync newer patches (mostly the time handling fixes) from base smlnj package. 2016-07-03 18:52:32 +00:00