From bf807778e5b64fa9a669def3a73f1b1707787129 Mon Sep 17 00:00:00 2001 From: winlin Date: Wed, 25 Dec 2019 17:52:51 +0800 Subject: [PATCH] For #1537, #1282, support multiple options for --extra-flags --- trunk/auto/options.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/trunk/auto/options.sh b/trunk/auto/options.sh index 4e74329d1..c81781e9c 100755 --- a/trunk/auto/options.sh +++ b/trunk/auto/options.sh @@ -312,8 +312,8 @@ function parse_user_option() { function parse_user_option_to_value_and_option() { case "$option" in -*=*) - value=`echo "$option" | sed -e 's|[-_a-zA-Z0-9/]*=||'` - option=`echo "$option" | sed -e 's|=[-_a-zA-Z0-9/.]*||'` + value=`echo "$option" | sed -e 's|[-_a-zA-Z0-9/]*=||'` + option=`echo "$option" | sed -e 's|=[-_a-zA-Z0-9/. ]*||'` ;; *) value="" ;; esac