From 30efd7b0ce2a272487b3937079c6dfe3f5877654 Mon Sep 17 00:00:00 2001
From: Ralf Jung
Date: Thu, 12 Oct 2017 16:16:30 +0200
Subject: fix Coq version detection on Windows, and in case there are errors

---
 mathcomp/ssreflect/Makefile.detect-coq-version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/Makefile.detect-coq-version b/mathcomp/ssreflect/Makefile.detect-coq-version
index 3fedbaf..9c00aa3 100644
--- a/mathcomp/ssreflect/Makefile.detect-coq-version
+++ b/mathcomp/ssreflect/Makefile.detect-coq-version
@@ -8,7 +8,7 @@ BRANCH_coq = $(shell $(COQBIN)coqtop -v | head -1 \
 	     | sed 's/.*version \([0-9]\.[0-9]\)[^ ]* .*/v\1/')
 endif
 
-HASH_coq = $(shell echo Quit. | $(COQBIN)coqtop 2>&1 | head -1 \
+HASH_coq = $(shell echo Quit. | $(COQBIN)coqtop 2>/dev/null | head -1 \
 	   | sed 's/^.*(\([a-f0-9]*\)).*/\1/' )
 
 HASH_coq_v85beta1 = eaa3d0b15adf4eb11ffb00ab087746a5b15c4d5d
-- 
cgit v1.2.3