On Mon, 09 Jan 2012, Jean Delvare wrote: > I'd like to make sure I understand your problem so that we can come up > with a solution. You're using dash as your /bin/sh implementation. What > is the reason for this? Is it a performance issue? Or is bash really not > available at build time?
Performance is the reason, yes. bash is always available as /bin/bash. > I couldn't come up with an alternative for the shell code above. If you > have bash available (and I believe you do, otherwise configure would > complain) then I think the best option is to move the documentation > generation code out of the Makefile to an external bash script. That or fix the Makefile so that it uses bash as the interpreter. As I said in my previous message, I believe that you can do that by setting "SHELL = bash" in the Makefile. Cheers, -- Raphaël Hertzog ◈ Debian Developer Pre-order a copy of the Debian Administrator's Handbook and help liberate it: http://debian-handbook.info/liberation/ _______________________________________________ Quilt-dev mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/quilt-dev
