#!/bin/sh
if test -z "$ESTEREL"
then
ESTEREL=/usr/local/esterelv5_21
fi
export ESTEREL
$ESTEREL/bin/ocdebug -ssc "$@"
