Hello all, Thanks for all the information and guidance on the issue. With your help, I was able to build the system.
Vance On Sun, Aug 10, 2014 at 12:30 AM, Paul Smith <[email protected]> wrote: > On Sat, 2014-08-09 at 19:42 -0400, David Boyce wrote: > > Given that the OP is on Ubuntu, and if we stipulate for > > the sake of the argument that dash is broken, then setting SHELL to > > bash seems preferable to any other alternative such as zsh. > > I definitely agree that bash is preferable to zsh (or csh or whatever) > since zsh is even father from POSIX than bash. > > But I don't agree to that stipulation, since I've been using Ubuntu for > production work since 2007 writing scripts in /bin/sh and haven't run > into problems in dash. Of course bugs exist everywhere (even in bash!), > so YMMV for sure :-). > > _______________________________________________ Help-make mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-make
