diff options
| author | Sylvain Joubert <joubert.sy@gmail.com> | 2014-10-02 21:21:05 +0200 |
|---|---|---|
| committer | Brad King <brad.king@kitware.com> | 2014-10-03 08:48:47 -0400 |
| commit | 9f32a2411b35df1d80a65a3e27e9db6faf959c91 (patch) | |
| tree | 590110a64a55551693e031871f02f89d22dc0ceb /Source/cmLocalNinjaGenerator.h | |
| parent | 99d34f46fa394a9daabb7ca959e1540ae3a41ef2 (diff) | |
| download | cmake-9f32a2411b35df1d80a65a3e27e9db6faf959c91.tar.gz | |
Ninja: Use 'console' pool for CMake re-run if possible (#14915)
The pre-defined 'console' pool is a non-buffered pool that runs with a
depth of 1. CMake re-run cannot be run concurrently and it will
eventually output something. A non-buffered pool allows to get it as
soon as possible
Also, generate the minimal required version of Ninja in the build file.
Diffstat (limited to 'Source/cmLocalNinjaGenerator.h')
| -rw-r--r-- | Source/cmLocalNinjaGenerator.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/cmLocalNinjaGenerator.h b/Source/cmLocalNinjaGenerator.h index 11321b8022..c787ac6a28 100644 --- a/Source/cmLocalNinjaGenerator.h +++ b/Source/cmLocalNinjaGenerator.h @@ -117,6 +117,7 @@ private: void WriteBuildFileTop(); void WriteProjectHeader(std::ostream& os); + void WriteNinjaRequiredVersion(std::ostream& os); void WriteNinjaFilesInclusion(std::ostream& os); void WriteProcessedMakefile(std::ostream& os); void WritePools(std::ostream& os); |