diff options
| author | Paul Smith <psmith@gnu.org> | 2013-05-05 17:03:51 -0400 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2013-05-05 17:03:51 -0400 |
| commit | 22ef78e8e0192f319ffae4d8ba64322fa76552de (patch) | |
| tree | a769b3a2d4a0b69d83d4cef739f745f2afbabf6c /makeint.h | |
| parent | 3e67695034a1e235cbcf2c70d283fe0cd6c77427 (diff) | |
| download | make-22ef78e8e0192f319ffae4d8ba64322fa76552de.tar.gz | |
Ensure command lines are written synchronously with -O.
If output-sync is enabled, have make write the command line to the temp file
instead of printing it directly to the screen to ensure that the output is
ordered properly. Also, remove extraneous enter/leave operations by having
them printed directly when dumping temp file output.
Diffstat (limited to 'makeint.h')
0 files changed, 0 insertions, 0 deletions