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'
14 AUTOMAKE_OPTIONS = no-dependencies
16 zardoz_SOURCES = zardoz.y
24 fgrep -v @SET_MAKE@ Makefile.in > Makefile.sed
25 # It should not be disted here
26 grep 'zardoz.h' Makefile.in && exit 1
29 # Test all available flags to make sure header is distributed with
31 for flag in YFLAGS AM_YFLAGS zardoz_YFLAGS; do
33 echo "$flag = -d" >> Makefile.am
36 grep 'zardoz.h' Makefile.in || exit 1