blob: f33a7f0fbaf0bf8e332a4eb1f5833d3cb7b27b25 (
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
25
26
|
#!/bin/sh
LEX="$1"
SRC="$2"
DEST="$3"
dir=`dirname $SRC`
file=`basename $SRC`
base=`basename $SRC .l`
if [ -z "$LEX" ]; then
echo "lex not found - not regenerating $DEST"
exit;
fi
if [ -r $DEST ]; then
if [ x`find $SRC -newer $DEST -print` != x$SRC ]; then
exit;
fi
fi
TOP=`pwd`
if cd $dir && $LEX $file; then
if [ -r $base.yy.c ];then
sed '/^#/ s|$base.yy\.c|$DEST|' $base.yy.c > $base.c
rm -f $base.yy.c
fi
fi
cd $TOP
|
