On Mon, Feb 27, 2012 at 1:34 PM, Julia Lawall <[email protected]> wrote:
>Did you get it from git or from the web page?

Git.

Now I did do the make distclean and install menhir from a source drop.
I'm getting lots further. I think your supposition was right, that
there was an r9 file lurking in the git tree.

ron
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to