summary refs log tree commit diff
path: root/gnu/packages/patches/klee-uclibc-local-locale.patch
blob: 4cc9a4af86e0c5024f4edf156ec4c34b08aed5f7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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