---------------------------------------------------
> On 04/04/2016 12:09 AM, Yaakov Selkowitz wrote:
> > On 2016-04-03 18:05, Andrey Repin wrote:
> >> Because, within my reach, Cygwin is the only system that not using
> >> DASH as
> >> /bin/sh. Though, I may try rolling some busybox
> >
> > There *is* a world outside of Debian/Ubuntu; Fedora, RHEL/CentOS, and
> > Arch Linux all use bash for /bin/sh. However, a simple test in the form
> > of building GCC with dash as /bin/sh, while noticeably faster, showed
> > that Debian/Ubuntu have yet to fully upstream their work
> > ("gcc/genmultilib: 261: shift: can't shift that many").
>
> And non-Linux systems use a completely different shell for /bin/sh
> (neither dash nor bash; BSD systems tend to use mksh).
OpenBSD uses the old pdksh with patches for /bin/sh and /bin/ksh.
-Helmut
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
