#! /bin/sh
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
