#! /bin/sh
# =============================================================================
#  $Id: definebindep,v 1.1.1.1 2003/01/04 08:07:14 iwai Exp $
#  $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
