diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -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 |