[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: directory search fails!
From: |
Eli Zaretskii |
Subject: |
Re: directory search fails! |
Date: |
Sun, 26 Sep 2010 23:55:03 +0200 |
> From: Paul Smith <address@hidden>
> Cc: address@hidden
> Date: Sun, 26 Sep 2010 16:21:49 -0400
>
> > and (b) the details of the algorithm are really important only when
> > the target is a prerequisite of some other target.
>
> Obviously this depends on what you define to be "the details", but I
> don't think that's so: certainly it's important to know that even if you
> run "make a", so that "a" is not a prerequisite of anything else, if "a"
> can be found via directory search then this algorithm is in effect and
> the details of how it works DO make a difference.
Of course. But that's trivial, and hardly would require a separate
section. The effect on targets for which this one is a prerequisite
are NOT trivial. That's what the section tries to explain, AFAIU.
- Re: directory search fails!, (continued)
- Re: directory search fails!, Eli Zaretskii, 2010/09/27
- Re: directory search fails!, Paul Smith, 2010/09/28
- Re: directory search fails!, Eli Zaretskii, 2010/09/28
- RE: directory search fails!, David Ferguson, 2010/09/28
- Re: directory search fails!, Eli Zaretskii, 2010/09/28
- RE: directory search fails!, David Ferguson, 2010/09/28
- RE: directory search fails!, Hambridge, Philip J (ODP), 2010/09/30
- Re: directory search fails!, Paul Smith, 2010/09/26
- Re: directory search fails!, Eli Zaretskii, 2010/09/26
- Re: directory search fails!, Paul Smith, 2010/09/26
- Re: directory search fails!,
Eli Zaretskii <=
- Re: directory search fails!, Paul Smith, 2010/09/22
- Re: directory search fails!, ali hagigat, 2010/09/22
- Re: directory search fails!, Paul Smith, 2010/09/22
- Re: directory search fails!, Eli Zaretskii, 2010/09/22
- Re: directory search fails!, Paul Smith, 2010/09/22
- Re: directory search fails!, Eli Zaretskii, 2010/09/22
- Re: directory search fails!, ali hagigat, 2010/09/22
- Re: directory search fails!, Philip Guenther, 2010/09/22
Re: directory search fails!, grischka, 2010/09/24
Re: directory search fails!, grischka, 2010/09/26