On Monday 09 January 2012 03:20:21 pm Martin Quinson wrote: > On Mon, Jan 09, 2012 at 02:50:12PM +0100, Raphael Hertzog wrote: > > 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.
Thanks for the hint Raphael, and sorry for not listening last time. > So, the fix would be to revert the patch to use bash portability > layer here, and simply force the use of bash, I guess. If nobody > speaks against it, I'll do so tomorrow or so. Yes, I agree. Thanks, -- Jean Delvare Suse L3 _______________________________________________ Quilt-dev mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/quilt-dev
