From f303af4dba41422104719a6d479d614dd4cd9fcb Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 7 Feb 2019 01:10:43 +0100
Subject: [dune] Fix OCaml trunk build.

I forgot to change the profile call; we should find some better
solution but that's OK for now.
---
 Makefile.dune | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.dune b/Makefile.dune
index 78ecc4b056..e3a8a30bc2 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -91,9 +91,9 @@ ocheck: voboot
 	dune build $(DUNEOPT) @install --workspace=dev/dune-workspace.all
 
 trunk:
-	dune build $(DUNEOPT) --profile=ocaml408 @vodeps
+	dune build $(DUNEOPT) --profile=ocaml409 @vodeps
 	dune exec coq_dune $(BUILD_CONTEXT)/.vfiles.d
-	dune build $(DUNEOPT) --profile=ocaml408 coq.install coqide-server.install
+	dune build $(DUNEOPT) --profile=ocaml409 coq.install coqide-server.install
 
 ireport:
 	dune clean
-- 
cgit v1.2.3