blob: 0cae2971cbdefafa5d09c99049b6648b191d0462 [file] [log] [blame]
#!/bin/sh
#
#
AWK=@AWK@
DIR=@ET_DIR@
ROOT=`echo $1 | sed -e s/.et$//`
BASE=`basename $ROOT`
$AWK -f ${DIR}/et_h.awk outfile=${BASE}.h $ROOT.et
$AWK -f ${DIR}/et_c.awk outfile=${BASE}.c $ROOT.et