#! /bin/sh
. "${ASCDS_INSTALL}/bin/ciao_setup.sh"
EXE="`basename ${0}`"
PATH="${ASCDS_INSTALL}/binexe:${PATH}"
\exec "${EXE}" "$@"
