strip_fPIC.sh
changeset 22 48c34d68918e
parent 1 cf2af46e9e2a
     1.1 --- a/strip_fPIC.sh	Thu May 10 20:13:29 2001 +0000
     1.2 +++ b/strip_fPIC.sh	Thu May 10 20:19:50 2001 +0000
     1.3 @@ -4,11 +4,14 @@
     1.4  # This isn't always true (for example, nasm can't handle it)
     1.5  command=""
     1.6  while [ $# -gt 0 ]; do
     1.7 -    if [ "$1" != "-fPIC" ]; then
     1.8 -        if [ "$1" != "-DPIC" ]; then
     1.9 +    case "$1" in
    1.10 +        -?PIC)
    1.11 +            # Ignore -fPIC and -DPIC options
    1.12 +            ;;
    1.13 +        *)
    1.14              command="$command $1"
    1.15 -        fi
    1.16 -    fi
    1.17 +            ;;
    1.18 +    esac
    1.19      shift
    1.20  done
    1.21  echo $command