diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2011-09-20 17:29:17 -0700 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2011-09-20 17:29:17 -0700 |
commit | 56f7a345d7572e118d4a370bb8e79b328d16bc0e (patch) | |
tree | f89d1d55c52261f64c89eba1ef387b4f1faf5b5b /Makefile | |
parent | 64e199d18bd46682219eb37bfa1eed9a4fe49d99 (diff) |
x86 JIT: now works without -NDNDEBUG (also small perf increase).
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -40,9 +40,6 @@ ifeq (, $(findstring -O, $(USER_CFLAGS))) endif ifneq (, $(findstring DUPB_USE_JIT_X64, $(USER_CFLAGS))) - ifeq (, $(findstring DNDEBUG, $(USER_CFLAGS))) - $(error "JIT only works with -DNDEBUG enabled!") - endif USE_JIT=true endif |