diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2023-05-10 12:10:15 -0700 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2023-05-14 18:26:35 -0400 |
commit | 78e6a89b192c1f5ce5f06a55216164a1063da23f (patch) | |
tree | 0cf029fec842c965154660eda4071b5968f9756f /src/rule.c | |
parent | 1748e6641419e8a48f830caad072ed5b298577af (diff) | |
download | make-git-78e6a89b192c1f5ce5f06a55216164a1063da23f.tar.gz |
make -p uses same clock as rest of 'make'
Without this patch, the output of 'make -p' would generate output that
sometimes incorrectly implied that the clock jumped backwards.
* src/main.c (time_now): New function.
(print_data_base): Use it.
Diffstat (limited to 'src/rule.c')
0 files changed, 0 insertions, 0 deletions