GNU bug report logs - #6602
[PATCH] make dist target for Windows

Previous Next

Full log

View this message in rfc822 format

From: Christoph <cschol2112 <at> googlemail.com>
To: Juanma Barranquero <lekktu <at> gmail.com>
Cc: 6602 <at> debbugs.gnu.org
Subject: bug#6602: [PATCH] make dist target for Windows
Date: Sat, 24 Jul 2010 21:18:52 -0600

[Message part 1 (text/plain, inline)]

On 7/24/2010 8:55 PM, Juanma Barranquero wrote:

> Well, as I said, no sweat. If someone else besides me needs the
> functionality we'll know soon enough.

I bet we will. :)

>> Perhaps it should be added to `distclean'?
>
> Well, somewhere in *clean*, yes :-) (I renounced trying to understand
> the different clean targets a long time ago.)

I know what you mean. I added it to (top-)distclean, so at least it is 
gone whenever somebody resets to the original distribution state.

Updated patch bundle attached.

Christoph

[makedistw32v9.txt (text/plain, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.