tech-toolchain archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

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

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

Home | Main Index | Thread Index | Old Index