diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2023-04-01 16:44:03 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2023-04-01 16:44:28 -0700 |
commit | 713d9822bbfb2923115065efaefed34a0113f8a1 (patch) | |
tree | 9c919574a18f3c9c90a1fdda625d36dcb49df328 /lib/autoconf/programs.m4 | |
parent | 05e295b60cfdf378b7ed8c1f8563a5644d5d4689 (diff) | |
download | autoconf-713d9822bbfb2923115065efaefed34a0113f8a1.tar.gz |
Fix timing bug on high-speed builds
Problem reported by Bogdan via Jacob Bachmeyer in:
https://lists.gnu.org/r/autoconf/2023-04/msg00002.html
* bin/autom4te.in: If a file timestamp equals a dependency’s
timestamp, consider the file to be out of date. Although this may
result in extra work, it fixes some rare timing bugs.
Diffstat (limited to 'lib/autoconf/programs.m4')
0 files changed, 0 insertions, 0 deletions