From: Kim Nguyễn <kn@lri.fr>
Date: Mon, 17 Apr 2017 12:17:21 +0000 (+0200)
Subject: Pass correct flag to ocamlopt to take care of PIE systems.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=b73ad7605777c49c65673e34f6f9ee635053db13;hp=b73ad7605777c49c65673e34f6f9ee635053db13

Pass correct flag to ocamlopt to take care of PIE systems.
---