#!/bin/sh
#
# tchk wrapper script
#
# $TenDRA: tendra/src/wrappers/tchk.sh,v 1.2 2005/10/17 11:14:32 stefanf Exp $
#

# TenDRA settings
TENDRA_BASEDIR="/usr/local/lib/TenDRA"
TENDRA_VERSION="5.0.0"


# tcc settings
TCC_BIN="${TENDRA_BASEDIR}/bin/tcc"
OPTS_DEFAULT="-yTENDRA_BASEDIR=${TENDRA_BASEDIR} -Y${TENDRA_BASEDIR}/env/default -ch"



# Execute tcc with our compiled options.

if [ -n "$DEBUG" ]; then
	/bin/echo ${TCC_BIN} ${OPTS_DEFAULT} ${@+"$@"}
else
	${TCC_BIN} ${OPTS_DEFAULT} ${@+"$@"}
fi;