diff options
Diffstat (limited to 'source4/script/lex_compile.sh')
-rwxr-xr-x | source4/script/lex_compile.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/source4/script/lex_compile.sh b/source4/script/lex_compile.sh new file mode 100755 index 00000000000..7af9ea1281d --- /dev/null +++ b/source4/script/lex_compile.sh @@ -0,0 +1,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 |