diff options
Diffstat (limited to 'tool/mjit_archflag.sh')
| -rw-r--r-- | tool/mjit_archflag.sh | 30 |
1 files changed, 16 insertions, 14 deletions
diff --git a/tool/mjit_archflag.sh b/tool/mjit_archflag.sh index 4bb3321aff..fc0285e16d 100644 --- a/tool/mjit_archflag.sh +++ b/tool/mjit_archflag.sh @@ -10,21 +10,23 @@ quote() { archs="" arch_flag="" -for arch in $1; do - archs="${archs:+$archs }${arch%=*}" -done +parse_arch_flags() { + for arch in $1; do + archs="${archs:+$archs }${arch%=*}" + done -while shift && [ "$#" -gt 0 ]; do - case "$1" in - -arch) - shift - archs="${archs:+$archs }$1" - ;; - *) - arch_flag="${arch_flag:+${arch_flag} }$1" - ;; - esac -done + while shift && [ "$#" -gt 0 ]; do + case "$1" in + -arch) + shift + archs="${archs:+$archs }$1" + ;; + *) + arch_flag="${arch_flag:+${arch_flag} }$1" + ;; + esac + done +} define_arch_flags() { local indent=${archs:+ } |