From a3620b2a73efff93163c0c0dfc7b7eedfbc50ef7 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 15 Jun 2017 23:06:35 -0400
Subject: Fix notation-overriden warning issues

This change is necessary because we've added -compat 8.6.
---
 Makefile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d32b3305e..57233fb67 100644
--- a/Makefile
+++ b/Makefile
@@ -93,12 +93,10 @@ printlite::
 COQPRIME_FOLDER := coqprime
 ifneq ($(filter 8.5%,$(COQ_VERSION)),) # 8.5
 else
-ifeq ($(OTHERFLAGS),)
 ifneq ($(PROFILE),)
-OTHERFLAGS := -profile-ltac -w "-notation-overridden"
+OTHERFLAGS += -profile-ltac -w "-notation-overridden"
 else
-OTHERFLAGS := -w "-notation-overridden"
-endif
+OTHERFLAGS += -w "-notation-overridden"
 endif
 endif
 
-- 
cgit v1.2.3