diff --git a/makefile.defaults b/makefile.defaults index 1a7a924790..c1705b935a 100644 --- a/makefile.defaults +++ b/makefile.defaults @@ -6,7 +6,7 @@ # Version number; . separates major and minor version part # developer versions have minor version numbers divisible by 2 -VERSION=4.85 +VERSION=4.86 # NOTES ON CONDITIONAL COMPILATION @@ -102,7 +102,7 @@ VERSION=4.85 # Other # ----- -DEFS=$(DEFINEMACRO)SIGNALS $(DEFINEMACRO)MSG_IN_MEM $(DEFINEMACRO)FXF $(DEFINEMACRO)NDEBUG +DEFS=$(DEFINEMACRO)SIGNALS $(DEFINEMACRO)MSG_IN_MEM $(DEFINEMACRO)FXF $(DEFINEMACRO)DOMEASURE # $(DEFINEMACRO)DOMEASURE # $(DEFINEMACRO)TESTHASH # $(DEFINEMACRO)NDEBUG