#! /bin/sh
# =============================================================================
#  $Id: definesources,v 1.1.1.1 2003/01/04 08:07:14 iwai Exp $
#  $Name:  $
# =============================================================================
sources=""
for cc in $*; do
  if [ "$sources" = "" ]; then
    sources="$cc.cc"
  else
    sources="$sources $cc.cc"
  fi
done
echo "$sources"
exit 0
