From 7a8d2a8e3e2ff9e14548b0234bfc895287901501 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= Date: Wed, 2 Nov 2022 22:09:25 +0100 Subject: [PATCH] package/ci: don't build ShaderTools on the Android Vulkan job. It's not used for anything there and is built already in the base GLES build. --- package/ci/android-x86-vulkan.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/package/ci/android-x86-vulkan.sh b/package/ci/android-x86-vulkan.sh index 1c9c08f52..924c72e10 100755 --- a/package/ci/android-x86-vulkan.sh +++ b/package/ci/android-x86-vulkan.sh @@ -66,6 +66,7 @@ cmake .. \ -DMAGNUM_WITH_PRIMITIVES=OFF \ -DMAGNUM_WITH_SCENEGRAPH=OFF \ -DMAGNUM_WITH_SCENETOOLS=OFF \ + -DMAGNUM_WITH_SHADERTOOLS=OFF \ -DMAGNUM_WITH_SHADERS=OFF \ -DMAGNUM_WITH_TEXT=OFF \ -DMAGNUM_WITH_TEXTURETOOLS=OFF \