You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-05 12:10:55 +00:00
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.
This commit is contained in:
@@ -846,7 +846,8 @@ def generate_vs_project(env, num_jobs):
|
|||||||
add_to_vs_project(env, env.servers_sources)
|
add_to_vs_project(env, env.servers_sources)
|
||||||
if env["tests"]:
|
if env["tests"]:
|
||||||
add_to_vs_project(env, env.tests_sources)
|
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"):
|
for header in glob_recursive("**/*.h"):
|
||||||
env.vs_incs.append(str(header))
|
env.vs_incs.append(str(header))
|
||||||
|
|||||||
Reference in New Issue
Block a user