]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1748e66) | patch
make -p uses same clock as rest of 'make'
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 10 May 2023 19:10:15 +0000 (12:10 -0700)
committerPaul Smith <psmith@gnu.org>
Sun, 14 May 2023 22:26:35 +0000 (18:26 -0400)
commit78e6a89b192c1f5ce5f06a55216164a1063da23f
tree0cf029fec842c965154660eda4071b5968f9756ftree
parent1748e6641419e8a48f830caad072ed5b298577afcommit | diff
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.
src/main.c diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git