diff options
| author | Enrico | 2017-07-13 14:08:38 +0200 |
|---|---|---|
| committer | GitHub | 2017-07-13 14:08:38 +0200 |
| commit | ac98f492e8988579a01a31560cdba7b4ba6420f5 (patch) | |
| tree | 992e658ec59937565659a95d2e263cd132d7f89d | |
| parent | 7176e39fa2659cf8a6c08dc12551fa0de90b2a74 (diff) | |
trunk -> master
| -rw-r--r-- | mathcomp/ssreflect/Makefile.detect-coq-version | 2 |
1 files changed, 1 insertions, 1 deletions
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" |