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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'release/datafiles') 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 -- cgit v1.2.3