diff options
Diffstat (limited to 'scripts/makefile')
| -rw-r--r-- | scripts/makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/makefile b/scripts/makefile index 7f24989..3efa6d7 100644 --- a/scripts/makefile +++ b/scripts/makefile @@ -14,6 +14,11 @@ ASSERTFLAGS != [ "$(ASSERT)" != "0" ] \ && echo "-DASSERT=1" \ || echo +JIT ?= 1 +JITFLAGS != [ "$(JIT)" != "0" ] \ + && echo "-DJIT=1" \ + || echo "-DJIT=0" + DEPFLAGS = -MT $@ -MMD -MP -MF $@.d LINTFLAGS = -fsyntax-only PREPROCESS = -E |