Merge pull request mirage#65 from hannesm/master

fix zarith opam (for normal installation)
RyanGibb · May 4, 2015 · 012f215 · 012f215
2 parents bec344d + a8c460c
commit 012f215
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/zarith/zarith.1.3/opam b/packages/zarith/zarith.1.3/opam
@@ -4,7 +4,7 @@ patches: ["xen_linkopts.patch"]
 build: [
   ["./configure"]
   [make]
-  [make install]
+  [make "install"]
   ["./mirage-install.sh"]
 ]
 remove: [["ocamlfind" "remove" "zarith"]]