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

for t in $*
do
  target=`echo $t | sed -e s/:.*//`
  echo "Stripping $target..."
  strip $target
done

