Re: make: control utc value used for :{gm,local}time

[David Holland <dholland-tech%netbsd.org@localhost>]

On Sat, Jan 14, 2017 at 01:37:34PM -0800, Simon J Gerraty wrote:
 > The :gmtime and :localtime modifiers in make would be more useful if the
 > value of utc used could be controlled.
 > For example, using the mtime of a file obtained via 'stat -s'

This is a pretty awful syntax (some of which already exists and is
already awful) and also ISTM that any explicit time handling in make
ought to support
   - addressing file timestamps directly;
   - fracttional seconds;
neither of which happens here.

Can we please at least think about this rather than agglomerating yet
another bodge?

-- 
David A. Holland
dholland%netbsd.org@localhost