From a71aec672bc66a0e19752fa15d55bc2bd75ef3bc Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 7 Feb 2015 15:21:14 +0100
Subject: Fixing bug #4009.

We only allow color output under Unix OSes.
---
 lib/terminal.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/terminal.ml b/lib/terminal.ml
index 1e6c25578e..0f6b23af36 100644
--- a/lib/terminal.ml
+++ b/lib/terminal.ml
@@ -167,7 +167,8 @@ let reset_style = {
   negative = Some false;
 }
 
-let has_style t = Unix.isatty t
+let has_style t =
+  Unix.isatty t && Sys.os_type = "Unix"
 
 let split c s =
   let len = String.length s in
-- 
cgit v1.2.3