From 8f23d8d339403006d6464510c7d2cd285cf38b0a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 10 Sep 2018 10:46:09 +0200
Subject: [opam] Fix typo in build variable.

Fixes #8431
---
 coq.opam        | 2 +-
 ide/coqide.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq.opam b/coq.opam
index 7f577dd8be..2ac98d8946 100644
--- 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
index 1b46efdee2..ba05b9edcf 100644
--- 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 ] ]
-- 
cgit v1.2.3