From mboxrd@z Thu Jan  1 00:00:00 1970
From: eric@regit.org (Eric Leblond)
Date: Tue, 19 Mar 2013 16:25:11 +0100
Subject: [Cocci] Small 'make install' problem
Message-ID: <1363706711.30419.13.camel@tiger2>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

Hello,

It seems there is an installation issue in current git tree. I was not
able to run make install without doing:
	mkdir ocaml/coccilib
in the base project directory.

BR,
-- 
Eric Leblond <eric@regit.org>
Blog: https://home.regit.org/