Merge pull request #88 from hannesm/minor

Minor updates
mirage · Dec 14, 2021 · 258ca33 · 258ca33
2 parents cf6d97c + 1a8e67e
commit 258ca33
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 14 deletions.
diff --git a/.travis.yml b/.travis.yml
diff --git a/mirage-block-xen.opam b/mirage-block-xen.opam
@@ -21,7 +21,7 @@ depends: [
   "xenstore"
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
 dev-repo: "git+https://github.com/mirage/mirage-block-xen.git"