Re: GNU make 3.79.1 suggestion: .LOW_RESOLUTION_TIME

2000-07-24 Thread Paul Eggert
Date: Mon, 24 Jul 2000 16:38:29 -0400 (EDT) From: "Paul D. Smith" <[EMAIL PROTECTED]> What about an enhancement that allows .LOW_RESOLUTION_TIME: with no targets to apply to all files, essentially duplicating what the old --disable-nsec-timestamps option did? Something like that m

Re: GNU make 3.79.1 suggestion: .LOW_RESOLUTION_TIME

2000-07-24 Thread Paul D. Smith
%% Paul Eggert <[EMAIL PROTECTED]> writes: pe> Here's a proposed patch to do this. It assumes the previous patches pe> I've submitted for Make 3.79.1. It replaces --disable-nsec-timestamps pe> with a new pseudo-target .LOW_RESOLUTION_TIME. The user specifies pe> which files are built b

GNU make 3.79.1 suggestion: .LOW_RESOLUTION_TIME

2000-07-24 Thread Paul Eggert
GNU make 3.79.1 introduced a new configure-time option --disable-nsec-timestamps that lets the "make" builder optionally build a version of "make" that ignores high resolution time stamps. This solution is awkward, as it means users need two versions of "make", one built with and one built without