#! /bin/sh
# =============================================================================
#  $Id$
#  $Name$
# =============================================================================
objects=""
dir="$1"
shift
for cc in $*; do
  tmp=${cc%%.cc}
  if [ "$objects" = "" ]; then
    objects="$dir/$tmp/exe/$tmp.o"
  else
    objects="$objects $dir/$tmp/exe/$tmp.o"
  fi
done
echo "$objects"
exit 0
