From 3ae7c592896d54d89c10f29403e194d22f16baa9 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 26 Jan 2015 19:46:39 +0100 Subject: [PATCH] fix in opam file --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam b/opam index a39f2257..10719d1a 100644 --- a/opam +++ b/opam @@ -6,7 +6,7 @@ maintainer: "simon.cruanes@inria.fr" build: [ ["./configure" "--prefix" prefix - "--%{base-threads:enable%}-thread" + "--%{base-threads:enable}%-thread" "--disable-bench" "--disable-tests" "--%{lwt:enable}%-lwt"