From cf5e95131199566f99d9a040d654e90a12134089 Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Mon, 6 Feb 2023 18:07:03 +0100 Subject: [PATCH] Force reinstallation of ocaml when configure -i --- configure | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/configure b/configure index 771d5cc4..647c4bf3 100755 --- a/configure +++ b/configure @@ -254,10 +254,13 @@ EOF execute <