1 files changed, 2 insertions, 4 deletions
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