opam: run configure

Signed-off-by: David Scott <dave.scott@citrix.com>
mirage · Dec 18, 2014 · 80d63ae · 80d63ae
1 parent 222b797
commit 80d63ae
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/opam b/opam
@@ -1,6 +1,7 @@
 opam-version: "1"
 maintainer: "dave.scott@eu.citrix.com"
 build: [
+  ["./configure"]
   [make "all"]
   [make "install"]
 ]