[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Problem with cl and autoconf
|
From: |
Andreas Buening |
|
Subject: |
Re: Problem with cl and autoconf |
|
Date: |
Sun, 13 Feb 2005 12:47:26 +0100 |
Paul Eggert wrote:
> Perhaps we could make "exec </dev/null" an option, normally enabled,
I'm sorry, I didn't follow this discussion closely. If I understand the
shell docs correctly this command redirects stdin to /dev/null for all
further lines of configure. Why would anybody want this?
Andreas
- Re: Problem with cl and autoconf, Paul Eggert, 2005/02/10
- Re: Problem with cl and autoconf, Alexandre Duret-Lutz, 2005/02/11
- Re: Problem with cl and autoconf, Paul Eggert, 2005/02/11
- Re: Problem with cl and autoconf, Noah Misch, 2005/02/12
- Re: Problem with cl and autoconf, Paul Eggert, 2005/02/13
- Re: Problem with cl and autoconf,
Andreas Buening <=
- Re: Problem with cl and autoconf, Paul Eggert, 2005/02/14
- Re: Problem with cl and autoconf, Alexandre Duret-Lutz, 2005/02/14
- Re: Problem with cl and autoconf, Paul Eggert, 2005/02/14
- Re: Problem with cl and autoconf, Alexandre Duret-Lutz, 2005/02/15
- Re: Problem with cl and autoconf, Paul Eggert, 2005/02/15
- Re: Problem with cl and autoconf, Alexandre Duret-Lutz, 2005/02/16
- Re: Problem with cl and autoconf, Alexandre Duret-Lutz, 2005/02/23
- Re: Problem with cl and autoconf, Paul Eggert, 2005/02/23