diff options
author | 1994-10-07 11:24:52 +0000 | |
---|---|---|
committer | 1994-10-07 11:24:52 +0000 | |
commit | 5178e0e7099df426b5b939b9501bece9a56492a0 (patch) | |
tree | 4f5fe526d998b95b9be2950932e11c4335cdd984 /util | |
parent | 04f743af3fc520ebc10b39753a21f68201dd5e90 (diff) |
Initial revision
Diffstat (limited to 'util')
-rwxr-xr-x | util/et/compile_et.sh | 11 | ||||
-rwxr-xr-x | util/ss/mk_cmds.sh | 23 |
2 files changed, 34 insertions, 0 deletions
diff --git a/util/et/compile_et.sh b/util/et/compile_et.sh new file mode 100755 index 0000000..2b17bff --- /dev/null +++ b/util/et/compile_et.sh @@ -0,0 +1,11 @@ +#!/bin/sh +# +# +AWK=@AWK@ +DIR=@DIR@ + +ROOT=`echo $1 | sed -e s/.et$//` +BASE=`echo $ROOT | sed -e 's;.*/;;'` + +$AWK -f ${DIR}/et_h.awk outfile=${BASE}.h $ROOT.et +$AWK -f ${DIR}/et_c.awk outfile=${BASE}.c $ROOT.et diff --git a/util/ss/mk_cmds.sh b/util/ss/mk_cmds.sh new file mode 100755 index 0000000..d41ab90 --- /dev/null +++ b/util/ss/mk_cmds.sh @@ -0,0 +1,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 |