From 8ca09e6c5eb6ac5401f7e7d89185e341921e7d3a Mon Sep 17 00:00:00 2001 From: Jeroen Bakker Date: Mon, 11 Jul 2022 16:45:07 +0200 Subject: GPU: add BUIDTIME to WITH_GPU_SHADER_BUILDER Adds a better name that describes when it is used. The GPU_SHADER_BUILDER is a buildtime tool for developers to pre-validate GLSL (and in the overseen future pre-compile to SpirV). We don't see that this needs to become a required step in the future so WITH_GPU_BUILDTIME_SHADER_BUILDER is more descriptive name. --- release/datafiles/locale | 2 +- release/scripts/addons | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'release') diff --git a/release/datafiles/locale b/release/datafiles/locale index 055bc5223c1..a2eb5078914 160000 --- a/release/datafiles/locale +++ b/release/datafiles/locale @@ -1 +1 @@ -Subproject commit 055bc5223c1cd249e32ccbc8e8796ba9925c8c33 +Subproject commit a2eb507891449a0b67582be9561840075513661d diff --git a/release/scripts/addons b/release/scripts/addons index 7ea2e74fc41..7a8502871c3 160000 --- a/release/scripts/addons +++ b/release/scripts/addons @@ -1 +1 @@ -Subproject commit 7ea2e74fc41b2eabdbf639b812082e73823b09d7 +Subproject commit 7a8502871c34db0343cc7de52d6b49b15a84238a -- cgit v1.2.3