From: Kim Nguyễn <kn@lri.fr>
Date: Sat, 30 Nov 2013 12:19:03 +0000 (+0100)
Subject: Fix a bug in the build script that was causing some .cmo files to have a false depend... 
X-Git-Tag: v0.1~26
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=45ca692d34ec370b542564a1ca195b205b1a3c6f;hp=45ca692d34ec370b542564a1ca195b205b1a3c6f;p=tatoo.git

Fix a bug in the build script that was causing some .cmo files to have a false dependency on .cmx files.
---