#!/bin/sh
PATH=$PATH:/usr/local/eiffel/bin
EIFFEL_S=/usr/local/eiffel

export EIFFEL_S PATH

exec /usr/local/eiffel/bin/ecc $*
