diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-25 11:27:00 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-25 11:27:00 +0200 |
commit | fd62fbcf8c1a20231d995e157aeaad92a5a03824 (patch) | |
tree | 900cca4108c0706cd71d414e17cdd815788bbbca | |
parent | f3d763011f51afc5e64313e9c9d2ea33c9d2d566 (diff) | |
parent | 45a1e7ff54d9ac8eca2f6c41b628b6d0b2ee3e13 (diff) |
Merge pull request #66378 from nikitalita/patch-1
Fix `tools=no` compile when `vsproj=yes`
-rw-r--r-- | methods.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/methods.py b/methods.py index 78ec9b8674..ba051322e1 100644 --- a/methods.py +++ b/methods.py @@ -846,7 +846,8 @@ def generate_vs_project(env, num_jobs): add_to_vs_project(env, env.servers_sources) if env["tests"]: add_to_vs_project(env, env.tests_sources) - add_to_vs_project(env, env.editor_sources) + if env["tools"]: + add_to_vs_project(env, env.editor_sources) for header in glob_recursive("**/*.h"): env.vs_incs.append(str(header)) |