lmi
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lmi] MAKEFLAGS


From: Greg Chicares
Subject: Re: [lmi] MAKEFLAGS
Date: Tue, 9 Mar 2021 16:22:25 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.4.0

On 3/9/21 2:28 PM, Vadim Zeitlin wrote:
[...]
>  If we really want to discuss the makefiles (but I'm not sure if we do), a
> more interesting question might be whether we really need a separate
> workhorse.make at all. I did read the paper[1] which inspired this approach
> but I happen to completely disagree with it

Reversing so fundamental a decision now would be a major undertaking,
upon which I wouldn't want to embark because I don't believe the
benefits could justify the cost.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]