summaryrefslogtreecommitdiff
path: root/source4/script/lex_compile.sh
diff options
context:
space:
mode:
authorStefan Metzmacher <metze@samba.org>2007-04-17 13:48:12 +0000
committerGerald (Jerry) Carter <jerry@samba.org>2007-10-10 14:51:00 -0500
commit8934c3f68e0ba949edd38673f10b9943059e4938 (patch)
treefeaf571dd10bfd0e11c497ef45149b70932d4a9c /source4/script/lex_compile.sh
parent57dd182915c3e81291a3aa48bd6c6795fd00a96f (diff)
downloadsamba-8934c3f68e0ba949edd38673f10b9943059e4938.tar.gz
samba-8934c3f68e0ba949edd38673f10b9943059e4938.tar.bz2
samba-8934c3f68e0ba949edd38673f10b9943059e4938.zip
r22307: when no lex or yacc is found:
- just touch $DEST if it's already there and newer than $SRC - touch $DEST if it's already there but older than $SRC and print warnings to stderr - otherwise return an error when lex or yacc is found: - just touch $DEST if it's already there and newer than $SRC - otherwise regenerate $DEST from $SRC using lex or yacc I don't like that every 'make' tries to regenerate because the timestamp of $DEST is never updated... metze (This used to be commit 10ed5c39692ff4a6b61ec9c6d046b2ee2202fc02)
Diffstat (limited to 'source4/script/lex_compile.sh')
-rwxr-xr-xsource4/script/lex_compile.sh16
1 files changed, 14 insertions, 2 deletions
diff --git a/source4/script/lex_compile.sh b/source4/script/lex_compile.sh
index 064bf89bea..2f9498e5ac 100755
--- a/source4/script/lex_compile.sh
+++ b/source4/script/lex_compile.sh
@@ -8,11 +8,23 @@ dir=`dirname $SRC`
file=`basename $SRC`
base=`basename $SRC .l`
if [ -z "$LEX" ]; then
- echo "lex not found - not regenerating $DEST"
- exit;
+ # if $DEST is more recent than $SRC, we can just touch
+ # otherwise we touch but print out warnings
+ if [ -r $DEST ]; then
+ if [ x`find $SRC -newer $DEST -print` = x$SRC ]; then
+ echo "warning: lex not found - cannot generate $SRC => $DEST" >&2
+ echo "warning: lex not found - only updating the timestamp of $DEST" >&2
+ fi
+ touch $DEST;
+ exit;
+ fi
+ echo "error: lex not found - cannot generate $SRC => $DEST" >&2
+ exit 1;
fi
+# if $DEST is more recent than $SRC, we can just touch
if [ -r $DEST ]; then
if [ x`find $SRC -newer $DEST -print` != x$SRC ]; then
+ touch $DEST;
exit;
fi
fi