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").
As much as the speed difference is promising (and frankly tempting), I'm afraid we simply don't have the resources to fix everything to work with dash as /bin/sh.
-- Yaakov -- 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