From fd026fcca741364051c4d7a3469896ee04ad67ea Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 22 Jun 2016 12:11:15 -0700
Subject: Flip the sense of the conditional in the makefile

This way, we treat trunk as 8.5.
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 519c1b040..6378967c8 100644
--- a/Makefile
+++ b/Makefile
@@ -25,10 +25,10 @@ coq: coqprime Makefile.coq
 COQ_VERSION_PREFIX = The Coq Proof Assistant, version
 COQ_VERSION := $(firstword $(subst $(COQ_VERSION_PREFIX),,$(shell $(COQBIN)coqc --version 2>/dev/null)))
 
-ifneq ($(filter 8.5%,$(COQ_VERSION)),) # 8.5
-coqprime: coqprime-8.5
-else
+ifneq ($(filter 8.4%,$(COQ_VERSION)),) # 8.4
 coqprime: coqprime-8.4
+else
+coqprime: coqprime-8.5
 endif
 
 coqprime-8.4:
-- 
cgit v1.2.3