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 /THANKS | |
| 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 'THANKS')
0 files changed, 0 insertions, 0 deletions