From 45a1e7ff54d9ac8eca2f6c41b628b6d0b2ee3e13 Mon Sep 17 00:00:00 2001 From: nikitalita <69168929+nikitalita@users.noreply.github.com> Date: Sat, 24 Sep 2022 14:24:50 -0700 Subject: [PATCH] Don't add `editor_sources` to vs_project when `tools=no` `editor_sources` was being added to the vs_project when godot is compiled with `tools=no`, which caused the build to fail. --- methods.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/methods.py b/methods.py index 78ec9b86747..ba051322e1f 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))