diff options
Diffstat (limited to 'scripts/makefile')
| -rw-r--r-- | scripts/makefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/scripts/makefile b/scripts/makefile index 484d04f..b8978f6 100644 --- a/scripts/makefile +++ b/scripts/makefile @@ -9,11 +9,6 @@ DEBUGFLAGS != [ "$(DEBUG)" != "0" ] \ && echo "-DDEBUG=1" \ || echo "-DNDEBUG=1" -ASSERT ?= 1 -ASSERTFLAGS != [ "$(ASSERT)" != "0" ] \ - && echo "-DASSERT=1" \ - || echo - DEPFLAGS = -MT $@ -MMD -MP -MF $@.d LINTFLAGS := -fsyntax-only PREPROCESS := -E |