diff options
| -rw-r--r-- | unix/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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="<mpconfigport_fast.h>"' BUILD=build-fast + $(MAKE) COPT="-O2 -DNDEBUG -fno-crossjumping" CFLAGS_EXTRA='-DMP_CONFIGFILE="<mpconfigport_fast.h>"' BUILD=build-fast |