GNU bug report logs - #13107
timestamp bug when files are created just before make is run

Previous Next

Package: automake;

Reported by: Mikulas Patocka <mikulas <at> artax.karlin.mff.cuni.cz>

Date: Thu, 6 Dec 2012 22:18:02 UTC

Severity: normal

Merged with 41843

Done: Karl Berry <karl <at> freefriends.org>

Bug is archived. No further changes may be made.

Full log


Message #22 received at 13107 <at> debbugs.gnu.org (full text, mbox):

From: Karl Berry <karl <at> freefriends.org>
To: 13107 <at> debbugs.gnu.org
Subject: Re: bug#13107: timestamp bug when files are created just before make
 is run
Date: Sat, 11 Jul 2020 19:23:45 -0600
Given the zero response, it seems undesirable to add even minor
complexity to support something which may no longer be needed.
Closing. -k




This bug report was last modified 4 years and 315 days ago.

Previous Next


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