#!/bin/sh -e

#
# Setting environment variables
# and starting Hets
#

export HETS_LIB=`dirname $0`/../lib/hets/hets-lib

`dirname $0`/../lib/hets/hets $@