#!/bin/sh
############################################################
#
# $* - targets to strip (A:B C:D, etc)
#
############################################################

for t in $*
do
  target=`echo $t | sed -e s/:.*//`
  E=`echo $target | .simplemake/makeExtension`
  if [ ! "$E" = "a"  -a ! "$E" = "so"  -a ! "$E" = "sl" ]; then
    echo "Stripping $target..."
    strip $target >/dev/null 2>&1
  fi 
done

exit 0
