Re: make --guaranteed-real-dry-run

2009-01-23 Thread jidanni
So was this ever resolved? Did anything get into the documentation? Thanks.


___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make


RE: make --guaranteed-real-dry-run

2009-01-23 Thread Martin Dorey
 So was this ever resolved?

I was happy with the suggestions on the thread, whatever they were, and
no-one objected.

 Did anything get into the documentation?

No.  If someone were motivated enough to raise a bug, then I expect I
could find the time to dig out the old mails, apply them to the current
source and generate a patch to attach to the bug.  Someone might then
commit the changes.

-Original Message-
From: jida...@jidanni.org [mailto:jida...@jidanni.org] 
Sent: Friday, January 23, 2009 12:16
To: Martin Dorey
Cc: m...@packages.debian.org; bug-make@gnu.org
Subject: Re: make --guaranteed-real-dry-run

So was this ever resolved? Did anything get into the documentation?
Thanks.


___
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make