diff options
author | Eli Zaretskii <eliz@gnu.org> | 2012-12-07 14:11:15 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2012-12-07 14:11:15 +0000 |
commit | 715927552ff90f6e77598ca2c216d49527368323 (patch) | |
tree | 7cb3f01efd7c311a0b13f9b26821d50f50f33a4a /w32/include | |
parent | 7670c84f7732db29f5a9d9c145c2327f4b575f91 (diff) | |
download | gunmake-715927552ff90f6e77598ca2c216d49527368323.tar.gz |
Avoid leaving temporary batch files in the temporary directory.
job.c (create_batch_file): Declare the counter of batch files
static, to avoid having 2 jobs using the same file name and
stepping on each other's toes. When all 64K names are used up,
make one more loop looking for slots that became vacant. This
avoids leaving behind temporary batch files in the temporary
directory, which happens frequently on a fast machine when using
parallel builds.
Diffstat (limited to 'w32/include')
0 files changed, 0 insertions, 0 deletions