From 29d056d78388ffea3931f7292c2250a0c9a82aa5 Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 25 Dec 2014 02:47:36 +0300 Subject: [PATCH] Compile C with some optimizations --- configure.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.sh b/configure.sh index 255d7d4..ccd435a 100644 --- a/configure.sh +++ b/configure.sh @@ -60,7 +60,7 @@ test $ocamlfind && { } (cat </dev/null $(dirname $0) && pwd -P) buildtype=$buildtype -- 2.11.4.GIT