diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2018-04-05 16:12:02 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-05 16:12:02 (GMT) |
| commit | 5d43e7457162c74bab25ada64a5bf87489ca5896 (patch) | |
| tree | e010aa18736e8593cf64617603895daf55221111 /src/build.h | |
| parent | 74b76d30105c74245628ebfa20148983fa0fc3d5 (diff) | |
| parent | c1c8bbaa5fc95ee90ce50d2aa5e16f4c86431114 (diff) | |
| download | Ninja-5d43e7457162c74bab25ada64a5bf87489ca5896.zip Ninja-5d43e7457162c74bab25ada64a5bf87489ca5896.tar.gz Ninja-5d43e7457162c74bab25ada64a5bf87489ca5896.tar.bz2 | |
Merge pull request #1361 from ppluciennik/ppluciennik/flush_log
Flush changes into .ninja_log right away.
Diffstat (limited to 'src/build.h')
0 files changed, 0 insertions, 0 deletions