On Fri, 11 Jan 2013, Jonathan Perkin wrote:
* On 2013-01-11 at 14:57 GMT, Sean Boudreau wrote:Modified Files: pkgsrc/devel/gtexinfo: Makefile Log Message: Don't use REPLACE_BASH in util/texi2dvi script. /bin/sh seems fine
This should at least use REPLACE_SH, so that the pkgsrc ${SH} shell is used instead of /bin/sh.
This isn't adequate, not all systems' /bin/sh support the 'local' keyword that this script relies upon, which is why this change was made in the first place. It appears to try to provide its own version, but this still causes different behaviour:
Perhaps upstream could fix the way "local" is redefined, or perhaps pkgsrc could patch it.
This is on SunOS 5.11, where /bin/sh is ksh93.
What shell does pkgsrc use for ${SH} on SunOS 5.11, and does it support "local"?
--apb (Alan Barrett)