Log Message: 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.
Revision | Action | file |
1.30 | modify | pkgsrc/lang/smlnj/Makefile |
1.21 | modify | pkgsrc/lang/smlnj/distinfo |
1.3 | modify | pkgsrc/lang/smlnj/patches/patch-at |
1.6 | modify | pkgsrc/lang/smlnj11072/Makefile |
1.6 | modify | pkgsrc/lang/smlnj11072/distinfo |
1.3 | modify | pkgsrc/lang/smlnj11072/patches/patch-at |