Il 22/08/2012 13:47, Stefano Lattarini ha scritto:
Hi Paolo.
Since I still have some gripes with the preparatory [PATCH 1/2], I'm
thinking about reworking this patch to make is independent from that.
Find my ideas below. Do you think they would be a good move? If
yes, would you mind
On 08/22/2012 01:53 PM, Paolo Bonzini wrote:
Il 22/08/2012 13:47, Stefano Lattarini ha scritto:
Hi Paolo.
Since I still have some gripes with the preparatory [PATCH 1/2], I'm
thinking about reworking this patch to make is independent from that.
Find my ideas below. Do you think they would
On 08/22/2012 02:07 PM, Paolo Bonzini wrote:
Il 22/08/2012 14:03, Stefano Lattarini ha scritto:
I'm a bit confused as to where to draw the line between Automake and GNU
make...
It depends. A rule of thumb is that, when Automake *must* process something
at automake runtime (as is certainly
On 08/22/2012 02:32 PM, Paolo Bonzini wrote:
Il 22/08/2012 14:23, Stefano Lattarini ha scritto:
True, but in the make dist case, automake has otherwise no business in
parsing the dist-format options.
But IMHO it makes sense to keep the need/ability to recognize those options
segregated in
On 08/22/2012 02:43 PM, Paolo Bonzini wrote:
Il 22/08/2012 14:41, Stefano Lattarini ha scritto:
It is a bit ugly that _process_option_list has to know about the
no-dist-gzip option in order to give a warning. This way, I can give a
superior error message if somebody specifies no-dist-xz.