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