strip_fPIC.sh
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