Hi Eelco, >> Is there a better way to approach that problem? > > Yes, fix builders not to rely on /bin/sh (or at least not to assume > it's Bash).
we should link /bin/sh to Dash instead of Bash. That would catch any implicit dependencies on non-POSIX shell features, and it would also speed up our scripts quite a bit, because Dash starts up much faster than Bash does. Take care, Peter _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
