[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Quilt-dev] 0.50 in Debian + Simple patch for inclusion: Fix manpage
From: |
Raphael Hertzog |
Subject: |
Re: [Quilt-dev] 0.50 in Debian + Simple patch for inclusion: Fix manpage generation under dash |
Date: |
Mon, 9 Jan 2012 14:50:12 +0100 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
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/