changeset 22 | 48c34d68918e |
parent 1 | cf2af46e9e2a |
--- a/strip_fPIC.sh Thu May 10 20:13:29 2001 +0000 +++ b/strip_fPIC.sh Thu May 10 20:19:50 2001 +0000 @@ -4,11 +4,14 @@ # This isn't always true (for example, nasm can't handle it) command="" while [ $# -gt 0 ]; do - if [ "$1" != "-fPIC" ]; then - if [ "$1" != "-DPIC" ]; then + case "$1" in + -?PIC) + # Ignore -fPIC and -DPIC options + ;; + *) command="$command $1" - fi - fi + ;; + esac shift done echo $command