
This is needed now that we force the user to explicitly choose between disabling use of SPIRV-Tools, using a version installed on the system, or using the version obtained by update_glslang_source.py
This is needed now that we force the user to explicitly choose between disabling use of SPIRV-Tools, using a version installed on the system, or using the version obtained by update_glslang_source.py