File extra-locale-Makefile-don-t-always-require-curl-wget.patch of Package klee-uclibc

From: Jiri Slaby <jslaby@suse.cz>
Date: Tue, 10 May 2022 12:29:29 +0200
Subject: extra/locale/Makefile: don't always require curl/wget
Patch-mainline: no
References: build fix

Especially when UCLIBC_DOWNLOAD_PREGENERATED_LOCALE_DATA is unset.

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 extra/locale/Makefile.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/extra/locale/Makefile.in b/extra/locale/Makefile.in
index 430c8065..947bdf62 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.34.1