From 16006d55b1d2bcb000eb5d1222950e80642a9b66 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Hinderer?= <Sebastien.Hinderer@inria.fr>
Date: Sat, 6 Jun 2020 17:15:03 +0200
Subject: [PATCH] Make ext_exe public in the configuration module of the
 compiler

---
 utils/config.mli | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/utils/config.mli b/utils/config.mli
index 515a428d0..d50761ceb 100644
--- a/utils/config.mli
+++ b/utils/config.mli
@@ -170,6 +170,11 @@ val ext_lib: string
 val ext_dll: string
 (** Extension for dynamically-loaded libraries, e.g. [.so] under Unix.*)
 
+val ext_exe: string
+(** Extension for executable programs, e.g. [.exe] under Windows.
+
+    @since 4.12.0 *)
+
 val default_executable_name: string
 (** Name of executable produced by linking if none is given with -o,
     e.g. [a.out] under Unix. *)