3 # Ensure that generated .h file is distributed iff we have -d in
6 .
$srcdir/defs ||
exit 1
8 cat >> configure.
in << 'END'
13 cat > Makefile.am
<<'END'
15 zardoz_SOURCES = zardoz.y
22 # It should not be disted here
23 $MAKE -f Makefile.
in SHELL
=/bin
/sh magic |
24 grep 'zardoz.h' Makefile.
in > /dev
/null
&& exit 1
26 echo 'YFLAGS = -d' >> Makefile.am
31 $MAKE -f Makefile.
in SHELL
=/bin
/sh magic |
32 grep 'zardoz.h' Makefile.
in > /dev
/null