#! /bin/sh
# =============================================================================
#  $Id$
#  $Name$
# =============================================================================
sources=""
for cc in $*; do
  if [ "$sources" = "" ]; then
    sources="$cc.cc"
  else
    sources="$sources $cc.cc"
  fi
done
echo "$sources"
exit 0
