blob: adb0be666260e5d5bce87c955db2e537eb546b86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/sh
#
#
AWK=@AWK@
DIR=@DIR@
usage="usage: $0 [ -d scriptDir ] inputfile.et"
if [ "$1" = "-d" ]; then
if [ $# -lt 3 ]; then
echo $usage 1>&2 ; exit 1
fi
DIR=$2 ; shift ; shift
fi
if [ $# -ne 1 ]; then
echo $usage 1>&2 ; exit 1
fi
ROOT=`echo $1 | sed -e s/.et$//`
BASE=`echo $ROOT | sed -e 's;.*/;;'`
set -ex
$AWK -f ${DIR}/et_h.awk outfile=${BASE}.h $ROOT.et
$AWK -f ${DIR}/et_c.awk outfile=${BASE}.c $ROOT.et
|
