| commit | d7134989be3a83927e178bf0063aa5237bdb2a18 | |
| author | Paul Eggert <eggert@cs.ucla.edu> | |
| Tue, 7 Feb 2017 02:00:13 +0000 (6 18:00 -0800) | ||
| committer | Paul Eggert <eggert@cs.ucla.edu> | |
| Tue, 7 Feb 2017 02:04:50 +0000 (6 18:04 -0800) | ||
| tree | dc5de5eff4c99d51c9a6fd57d4529c24f4eb43d6 | treesnapshot (tar.gz zip) |
| parent | 03a012a79679c730634537f966200878bfd1c0b4 | commitdiff |
Do not trick info/dir’s timestamp
* Makefile.in (${srcdir}/info/dir): When making this file, do not
do anything special about its timestamp. Previously this rule
used move-if-change, which meant that this file’s timestamp could
end up being older than the files it depends on, and this caused
‘make --question info’ to fail, which caused ‘make-dist’ to fail
now that ‘make-dist’ invokes ‘make --question info’.
* Makefile.in (${srcdir}/info/dir): When making this file, do not
do anything special about its timestamp. Previously this rule
used move-if-change, which meant that this file’s timestamp could
end up being older than the files it depends on, and this caused
‘make --question info’ to fail, which caused ‘make-dist’ to fail
now that ‘make-dist’ invokes ‘make --question info’.
| Makefile.in | diffblobblamehistory |