diff options
Diffstat (limited to 'external')
| -rw-r--r-- | external/CMakeLists.txt | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/external/CMakeLists.txt b/external/CMakeLists.txt index fed9e5e4e..e0dcdfb40 100644 --- a/external/CMakeLists.txt +++ b/external/CMakeLists.txt @@ -25,15 +25,6 @@ if(NOT SLANG_ENABLE_EXTERNAL_COMPILER_WARNINGS) endif() endif() -# Option to enable mimalloc for SPIRV-Tools to improve compilation performance -if(WIN32) - option( - SLANG_ENABLE_SPIRV_TOOLS_MIMALLOC - "Enable mimalloc for SPIRV-Tools to improve compilation performance" - ON - ) -endif() - # Unordered dense if(NOT ${SLANG_USE_SYSTEM_UNORDERED_DENSE}) if(NOT SLANG_OVERRIDE_UNORDERED_DENSE_PATH) |