[opam] Fix typo in build variable.

Fixes #8431
coq · Sep 20, 2018 · 8f23d8d · 8f23d8d
1 parent 4f85e54
commit 8f23d8d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq.opam b/coq.opam
@@ -18,5 +18,5 @@ depends: [
 build: [
   [ "dune" "build" "@vodeps" ]
   [ "dune" "exec" "coq_dune" "_build/default/.vfiles.d" ]
-  [ "dune" "build" "-p" package "-j" jobs ]
+  [ "dune" "build" "-p" name "-j" jobs ]
 ]
diff --git a/ide/coqide.opam b/ide/coqide.opam
@@ -16,4 +16,4 @@ depends: [
   "coq"
 ]
 
-build: [ [ "dune" "build" "-p" package "-j" jobs ] ]
+build: [ [ "dune" "build" "-p" name "-j" jobs ] ]