#! /bin/sh
# =============================================================================
#  $Id$
#  $Name$
# =============================================================================
dep=""
dir=$1
shift
for exe in $*; do
  if [ "$dep" = "" ]; then
    dep="$dir/$exe"
  else
    dep="$dep $dir/$exe"
  fi
done
echo "$dep"
exit 0
