hets_script revision 004b63663b1c5be6e6feddd43a7ca5d20121fa49
#!/bin/sh -e
#
# Setting environment variables
# and starting Hets
#
export HETS_LIB=`dirname $0`/../lib/hets/hets-lib
`dirname $0`/../lib/hets/hets $@