From f92aa16dfdf977948b992774729a04a1e4d24740 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 fe7d6b42..5bbff907 100755 --- a/configure +++ b/configure @@ -254,10 +254,13 @@ EOF execute <