From c04d0c4e8ce83aa96bb775effaa95957c226d540 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 25 Nov 2021 09:23:13 +0100
Subject: [PATCH] [opam] backport variable name change from official opam repo
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index 882e41d655a..2a7aee3a9c4 100644
--- a/opam/opam
+++ b/opam/opam
@@ -87,7 +87,7 @@ tags: [
]
build: [
- ["autoconf"] {pinned}
+ ["autoconf"] {dev}
["./configure" "--prefix" prefix
"--mandir=%{man}%"
]
--
GitLab