From ac98f492e8988579a01a31560cdba7b4ba6420f5 Mon Sep 17 00:00:00 2001
From: Enrico
Date: Thu, 13 Jul 2017 14:08:38 +0200
Subject: trunk -> master

---
 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 2160e36..3fedbaf 100644
--- a/mathcomp/ssreflect/Makefile.detect-coq-version
+++ b/mathcomp/ssreflect/Makefile.detect-coq-version
@@ -1,4 +1,4 @@
-BRANCH_coq = $(shell $(COQBIN)coqtop -v | head -1 | grep trunk \
+BRANCH_coq = $(shell $(COQBIN)coqtop -v | head -1 | grep -E '(trunk|master)' \
 	     | wc -l | sed 's/ *//g')
 
 ifneq "$(BRANCH_coq)" "0"
-- 
cgit v1.2.3