#!/bin/sh
if test -z "$ESTEREL"
then
ESTEREL=../esterelv5_92.linux
fi
export ESTEREL
$ESTEREL/bin/ocdebug -ssc "$@"
