diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-08-30 14:08:44 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-08-30 17:07:45 +0200 |
commit | 5c962e93e501039ae2658f3c9d5cfe45d50d6396 (patch) | |
tree | 58933d5fe517378ae52bea24947ed2c3b4720414 /AUTHORS | |
parent | 409ba9a2cb924d7a5f67c7f0daf81c04663a016d (diff) | |
download | guix-patches-5c962e93e501039ae2658f3c9d5cfe45d50d6396.tar guix-patches-5c962e93e501039ae2658f3c9d5cfe45d50d6396.tar.gz |
build-system/gnu: Use monotic time to measure elapsed time.
* guix/build/gnu-build-system.scm (gnu-build)[elapsed-time]: New
procedure.
Use it, and use (current-time time-monotonic) instead
of (gettimeofday). Show one digit after the comma for the elapsed
time.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions