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