"[7031] filter_files zero return status" commit not working on OpenBSD

[Ingo Feinerer]

Hi,

I am suffering from the same problem as described in
https://lists.gnu.org/archive/html/bug-texinfo/2016-02/msg00121.html .
However, the fix from
https://lists.gnu.org/archive/html/texinfo-commits/2016-02/msg00057.html
unfortunately does not work for me on an OpenBSD system.

The reason appears to be the shell executing the texi2dvi script. On OpenBSD
/bin/sh is in fact ksh
(http://man.openbsd.org/?query=sh&apropos=0&sec=0&arch=default&manpath=OpenBSD-current).
If I change the first line of texi2dvi to point to bash (/usr/local/bin/bash
on OpenBSD) the problem is gone.

Any ideas for a portable fix?

Thank you!

Best regards,
Ingo