From 8c99ee9b5b1212bf52fdf580525489eb8f89a682 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Sun, 3 Jun 2018 15:29:24 +0200
Subject: configure: fix warning printing

---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure.ml')

diff --git a/configure.ml b/configure.ml
index 45c3bb67a..933143e68 100644
--- a/configure.ml
+++ b/configure.ml
@@ -33,7 +33,7 @@ let cprintf s = cfprintf stdout s
 let ceprintf s = cfprintf stderr s
 let die msg = ceprintf "%s%s%s\nConfiguration script failed!" red msg reset; exit 1
 
-let warn s = cprintf ("%sWarning: " ^^ s ^^ "%s") yellow reset
+let warn s = kfprintf (fun oc -> cfprintf oc "%s" reset) stdout ("%sWarning: " ^^ s) yellow
 
 let s2i = int_of_string
 let i2s = string_of_int
-- 
cgit v1.2.3