From 223aac48321601f759bb4020a9e14fca8dcdb091 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 18 Jul 2022 12:18:51 +0200
Subject: [PATCH] [dune] alias default is @install

---
 dune | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dune b/dune
index 8a20f109b8d..0f46950b014 100644
--- a/dune
+++ b/dune
@@ -20,4 +20,5 @@
 ;;                                                                        ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
+(alias (name default) (deps (alias install)))
 (dirs src tools tests headers share bin)
-- 
GitLab