R3944Realms/srs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

For #1537, #1282, support multiple options for --extra-flags

Browse Source
This commit is contained in:
winlin 2019-12-25 17:52:51 +08:00
parent f24694fc65
commit bf807778e5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
trunk/auto/options.sh
View File

@ -312,8 +312,8 @@ function parse_user_option() {
function parse_user_option_to_value_and_option() { function parse_user_option_to_value_and_option() {
case "$option" in case "$option" in
-*=*) -*=*)
value=`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/.]*||'` option=`echo "$option" | sed -e 's|=[-_a-zA-Z0-9/. ]*||'`
;; ;;
*) value="" ;; *) value="" ;;
esac esac