From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 24 Jul 2013 21:49:44 +0000 (+0200)
Subject: Factorise common bits of Remakefile in tools/ocamldriver.sh
X-Git-Tag: v0.1~64
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=2b85475321db7b38d4df0869fb51d38d98bb6671;hp=2b85475321db7b38d4df0869fb51d38d98bb6671

Factorise common bits of Remakefile in tools/ocamldriver.sh
---