diff options
Diffstat (limited to 'gnu/packages/patches/klee-uclibc-local-locale.patch')
-rw-r--r-- | gnu/packages/patches/klee-uclibc-local-locale.patch | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/gnu/packages/patches/klee-uclibc-local-locale.patch b/gnu/packages/patches/klee-uclibc-local-locale.patch new file mode 100644 index 0000000000..4cc9a4af86 --- /dev/null +++ b/gnu/packages/patches/klee-uclibc-local-locale.patch @@ -0,0 +1,35 @@ +From be66efeb07f7c213bc8dd9c52fa25c6da86b492b Mon Sep 17 00:00:00 2001 +From: Jiri Slaby <jslaby@suse.cz> +Date: Tue, 10 May 2022 12:29:29 +0200 +Subject: [PATCH 1/5] extra/locale/Makefile: don't always require curl/wget + +Especially when UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA is unset. + +Fixes: 9351bdc9ad61 (switch to https; fallback to curl when wget not available) +--- + extra/locale/Makefile.in | 2 ++ + 1 file changed, 2 insertions(+) + +diff --git a/extra/locale/Makefile.in b/extra/locale/Makefile.in +index 430c80658429..947bdf62caf6 100644 +--- a/extra/locale/Makefile.in ++++ b/extra/locale/Makefile.in +@@ -6,6 +6,7 @@ + # + + # command used to download source code ++ifeq ($(UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA),y) + GET := + WGET := $(shell command -v wget 2> /dev/null) + CURL := $(shell command -v curl 2> /dev/null) +@@ -19,6 +20,7 @@ else + $(error "curl/wget not found") + endif + endif ++endif + + + LOCALE_DATA_FILENAME := uClibc-locale-030818.tgz +-- +2.41.0 + |