disable locale data download in default configuration for x86-64

klee · May 31, 2024 · 9e464cf · 9e464cf
1 parent 25c17a1
commit 9e464cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/klee-premade-configs/x86_64/config b/klee-premade-configs/x86_64/config
@@ -107,7 +107,7 @@ UCLIBC_HAS_CTYPE_UNSAFE=y
 UCLIBC_HAS_WCHAR=y
 UCLIBC_HAS_LOCALE=y
 UCLIBC_PREGENERATED_LOCALE_DATA=y
-UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA=y
+# UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA is not set
 UCLIBC_HAS_XLOCALE=y
 # UCLIBC_HAS_HEXADECIMAL_FLOATS is not set
 # UCLIBC_HAS_GLIBC_DIGIT_GROUPING is not set