diff options
| author | nikitalita <69168929+nikitalita@users.noreply.github.com> | 2022-09-24 14:24:50 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-24 14:24:50 -0700 |
| commit | 45a1e7ff54d9ac8eca2f6c41b628b6d0b2ee3e13 (patch) | |
| tree | c9896eae8663ff83c5890ba57b5f87ec3baad122 /thirdparty/volk | |
| parent | 61c0cb712d854881def4f266ca419de8c6fc6f37 (diff) | |
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.
Diffstat (limited to 'thirdparty/volk')
0 files changed, 0 insertions, 0 deletions