1 files changed, 25 insertions, 0 deletions
diff --git a/source4/script/yacc_compile.sh b/source4/script/yacc_compile.sh
new file mode 100755
index 00000000000..46a6fb64555
--- /dev/null
+++ b/source4/script/yacc_compile.sh
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+YACC="$1"
+SRC="$2"
+DEST="$3"
+
+dir=`dirname $SRC`
+file=`basename $SRC`
+base=`basename $SRC .y`
+if [ -z "$YACC" ]; then
+	echo "yacc not found"
+	return;
+fi
+if [ -r $DEST ]; then
+	if [ x`find $SRC -newer $DEST -print` != x$SRC ]; then
+	    return;
+    fi
+fi
+TOP=`pwd`
+if cd $dir && $YACC -d $file; then
+	sed -e "/^#/!b" -e "s|y\.tab\.h|$base.h|" y.tab.h > $base.h
+	sed '/^#/ s|y\.tab\.c|$base.c|' y.tab.c > $base.c
+	rm -f y.tab.c y.tab.h
+fi
+cd $TOP