From 52efb4dfb9810bbb749185f24916a43331abc817 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 27 Jun 2017 18:20:51 +0200
Subject: Avoid using unsupported signals under Windows in fake_ide.

---
 tools/fake_ide.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/fake_ide.ml b/tools/fake_ide.ml
index c0d2e4d6b5..2718461243 100644
--- a/tools/fake_ide.ml
+++ b/tools/fake_ide.ml
@@ -293,7 +293,7 @@ let usage () =
 module Coqide = Spawn.Sync(struct end)
 
 let main =
-  Sys.set_signal Sys.sigpipe
+  if Sys.os_type = "Unix" then Sys.set_signal Sys.sigpipe
     (Sys.Signal_handle
        (fun _ -> prerr_endline "Broken Pipe (coqtop died ?)"; exit 1));
   let def_args = ["--xml_format=Ppcmds"; "-ideslave"] in
-- 
cgit v1.2.3