1#!/bin/sh 2# 3# 4 5DIR=@DIR@ 6AWK=@AWK@ 7SED=@SED@ 8 9set -e 10FILE=$1 11ROOT=`echo $1 | ${SED} -e s/.ct$//` 12BASE=`echo $ROOT | ${SED} -e 's;.*/;;'` 13TMP=ct$$.c 14 15if [ ! -r ${FILE} ] ; then 16 echo mk_cmds: ${FILE} not found 17 exit 1 18fi 19 20${SED} -f ${DIR}/ct_c.sed ${FILE} \ 21 | ${AWK} -f ${DIR}/ct_c.awk rootname=${ROOT} outfile=${TMP} - 22 23if grep "^#__ERROR_IN_FILE" ${TMP} > /dev/null; then 24 rm ${TMP} 25 exit 1 26else 27 mv ${TMP} ${BASE}.c 28 exit 0 29fi 30