blob: 7af9ea1281d717f79090e020251bc2016b71e69e (
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
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"
return;
fi
if [ -r $DEST ]; then
if [ x`find $SRC -newer $DEST -print` != x$SRC ]; then
return;
fi
fi
TOP=`pwd`
if cd $dir && $LEX $file; then
sed '/^#/ s|$base.yy\.c|$DEST|' $base.yy.c > $base.c
rm -f $base.yy.c
fi
cd $TOP
|
