From 317a7c73d90cd851d2e1136e37de0a50502da6d2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 9 Feb 2015 15:38:29 +0100
Subject: [PATCH] don't run tests in opam file

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 7732954a..89013d99 100644
--- a/opam
+++ b/opam
@@ -4,7 +4,7 @@ version: "0.1"
 author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer" "Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
 build: [
-    [make "all"]
+    [make "lib"]
 ]
 install: [
     [make "install"]