From 56f7a345d7572e118d4a370bb8e79b328d16bc0e Mon Sep 17 00:00:00 2001 From: Joshua Haberman Date: Tue, 20 Sep 2011 17:29:17 -0700 Subject: x86 JIT: now works without -NDNDEBUG (also small perf increase). --- Makefile | 3 --- 1 file changed, 3 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 77b5647..ae30bf0 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3