Fixes suggested by @avsm.

RedPRL · Jun 9, 2020 · 2bb7f89 · 2bb7f89
1 parent cc3556e
commit 2bb7f89
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/yuujinchou.opam b/yuujinchou.opam
@@ -12,11 +12,11 @@ homepage: "https://github.com/favonia/yuujinchou"
 bug-reports: "https://github.com/favonia/yuujinchou/issues"
 dev-repo: "git+https://github.com/favonia/yuujinchou.git"
 depends: [
-  "dune" {build}
+  "dune"
   "ocaml" {>= "4.08.0"}
   "ppx_deriving" {>= "4.5" & < "4.6"}
 ]
 build: [
   ["dune" "build" "-p" name "-j" jobs]
-  ["dune" "runtest"]
+  ["dune" "runtest"] {with-test}
 ]