Whitespace can be other characters than literal space.

Fixes: 58cea2803d7aa7b1a98f72aa55b6221618dc5e5f
Signed-off-by: Ulrich Müller <[email protected]>
---
 eclass/font.eclass | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eclass/font.eclass b/eclass/font.eclass
index bf24701f12fc..e9e448a8155b 100644
--- a/eclass/font.eclass
+++ b/eclass/font.eclass
@@ -170,7 +170,7 @@ font_src_install() {
                        font_xfont_config "${dir}"
                        popd > /dev/null || die
                done
-       elif [[ ${FONT_S/ } != "${FONT_S}" ]]; then
+       elif [[ ${FONT_S/[[:space:]]} != "${FONT_S}" ]]; then
                # backwards compatibility code, can be removed after 2021-02-14
                eqawarn "Using a space-separated list for FONT_S is deprecated."
                eqawarn "Use a bash array instead if there are multiple 
directories."
-- 
2.26.1

Attachment: signature.asc
Description: PGP signature

Reply via email to