[Cocci] Small 'make install' problem

Eric Leblond eric at regit.org
Tue Mar 19 16:25:11 CET 2013


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.

Eric Leblond <eric at regit.org>
Blog: https://home.regit.org/

More information about the Cocci mailing list