| commit | 78b215ffea604d7d062b292ec1d04e31b7b4bd74 | |
| author | Paul Eggert <eggert@cs.ucla.edu> | |
| Thu, 23 Oct 2014 03:32:21 +0000 (22 20:32 -0700) | ||
| committer | Paul Eggert <eggert@cs.ucla.edu> | |
| Thu, 23 Oct 2014 03:32:21 +0000 (22 20:32 -0700) | ||
| tree | 11496e592a35d6b90dc5830e449b8f36d03f57d7 | treesnapshot (tar.gz zip) |
| parent | d361bcfbc7a69737ccd383e127fc8744c80cf5b4 | commitdiff |
Fix race in 'make info/dir', and speed it up.
* Makefile.in (AWK, srcdir_doc_info_dir_inputs, info_dir_inputs):
New macros.
(clean): Remove info-dir.*.
(info_dir_deps): Depend on make-info-dir too.
Fix bug with wildcards that weren't expanded.
(${srcdir}/info/dir): Make sure info directory exists.
Don't call pwd; just redirect make-info-dir's stdout to temp file.
* build-aux/make-info-dir: Send output to stdout.
Take input file names from args.
Fix a "FIXME inefficient looping" by using awk's associative arrays.
Basically, this rewrites the script from scratch, and speeds up
'make info/dir' from 2.6s to 0.07s on my platform.
* Makefile.in (AWK, srcdir_doc_info_dir_inputs, info_dir_inputs):
New macros.
(clean): Remove info-dir.*.
(info_dir_deps): Depend on make-info-dir too.
Fix bug with wildcards that weren't expanded.
(${srcdir}/info/dir): Make sure info directory exists.
Don't call pwd; just redirect make-info-dir's stdout to temp file.
* build-aux/make-info-dir: Send output to stdout.
Take input file names from args.
Fix a "FIXME inefficient looping" by using awk's associative arrays.
Basically, this rewrites the script from scratch, and speeds up
'make info/dir' from 2.6s to 0.07s on my platform.
| ChangeLog | diffblobblamehistory | |
| Makefile.in | diffblobblamehistory | |
| build-aux/make-info-dir | diffblobblamehistory |