diff --git a/unix/Makefile b/unix/Makefile index ab68760546..e7e0d354b0 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -133,4 +133,4 @@ uninstall: # build synthetically fast interpreter for benchmarking fast: @echo Make sure to run make -B - $(MAKE) COPT="-O2 -DNDEBUG" CFLAGS_EXTRA='-DMP_CONFIGFILE=""' BUILD=build-fast + $(MAKE) COPT="-O2 -DNDEBUG -fno-crossjumping" CFLAGS_EXTRA='-DMP_CONFIGFILE=""' BUILD=build-fast