fi
fi
+echo "Wrote $outfile"
+
#
# OK, now let's generate a header file declaring the relevant functions
# defined by the .c file; if the .c file is .../foo.c, the header file
$prefixline
#ifndef YY_DECL
#define YY_DECL int yylex(void)
-#endif
+#endif
YY_DECL;
EOF
+
+echo "Wrote $header_file"