From mboxrd@z Thu Jan 1 00:00:00 1970 From: elfring@users.sourceforge.net (SF Markus Elfring) Date: Mon, 13 Jul 2015 20:11:51 +0200 Subject: [Cocci] Checking of OCaml functionality In-Reply-To: References: <55A36680.1020707@users.sourceforge.net> <55A39908.6060600@users.sourceforge.net> <55A3E506.90905@users.sourceforge.net> <55A3F35F.5000501@users.sourceforge.net> <55A3F7DB.3090407@users.sourceforge.net> <55A3FD82.2080508@users.sourceforge.net> Message-ID: <55A3FF67.6010309@users.sourceforge.net> To: cocci@systeme.lip6.fr List-Id: cocci@systeme.lip6.fr > I asked about the output of the configure program. Do you refer to the log from Coccinelle's shell script "configure" here? Regards, Markus