[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Problem with make
From: |
Graham Percival |
Subject: |
Re: Problem with make |
Date: |
Thu, 22 Sep 2011 17:37:25 +0100 |
User-agent: |
Mutt/1.5.20 (2009-06-14) |
On Thu, Sep 22, 2011 at 11:44:29AM +0200, Reinhold Kainhofer wrote:
>
> Exactly. Make copies the *.texi file from the source to the build dir, runs
> extract-texi-filenames.py and then removes it again...
Ouch. Is there any compelling reason to
1) not run extract-texi-filename.py on the original file,
or
2) not remove the file? I mean, it's not like a small text file
is going to change our 1.5 Gb build directory much.
Cheers,
- Graham
- Re: Problem with make, (continued)
- Re: Problem with make, Graham Percival, 2011/09/21
- RE: Problem with make, address@hidden, 2011/09/21
- Re: Problem with make, David Kastrup, 2011/09/21
- Re: Problem with make, Reinhold Kainhofer, 2011/09/21
- Re: Problem with make, David Kastrup, 2011/09/22
- Re: Problem with make, Reinhold Kainhofer, 2011/09/22
- Re: Problem with make,
Graham Percival <=
- Re: Problem with make, David Kastrup, 2011/09/22
- Re: Problem with make, Phil Holmes, 2011/09/22
- Re: Problem with make, Peekay Ex, 2011/09/22
Re: Problem with make, Phil Holmes, 2011/09/22
- Re: Problem with make, Graham Percival, 2011/09/22
- Re: Problem with make, Phil Holmes, 2011/09/22
- Re: Problem with make, Graham Percival, 2011/09/22
- Re: Problem with make, Peekay Ex, 2011/09/22
- Re: Problem with make, David Kastrup, 2011/09/22
- Re: Problem with make, Reinhold Kainhofer, 2011/09/22