diff options
Diffstat (limited to 'ninja.cc')
-rw-r--r-- | ninja.cc | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -600,14 +600,16 @@ class NinjaGenerator { fprintf(fp_, "\n"); } - if (g_flags.ninja_dir) { - fprintf(fp_, "builddir = %s\n\n", g_flags.ninja_dir); - } + if (!g_flags.no_ninja_prelude) { + if (g_flags.ninja_dir) { + fprintf(fp_, "builddir = %s\n\n", g_flags.ninja_dir); + } - fprintf(fp_, "pool local_pool\n"); - fprintf(fp_, " depth = %d\n\n", g_flags.num_jobs); + fprintf(fp_, "pool local_pool\n"); + fprintf(fp_, " depth = %d\n\n", g_flags.num_jobs); - fprintf(fp_, "build _kati_always_build_: phony\n\n"); + fprintf(fp_, "build _kati_always_build_: phony\n\n"); + } unique_ptr<ThreadPool> tp(NewThreadPool(g_flags.num_jobs)); CHECK(g_flags.num_jobs); |