diff options
Diffstat (limited to 'build_files/buildbot/config/user-config-player-x86_64.py')
-rw-r--r-- | build_files/buildbot/config/user-config-player-x86_64.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build_files/buildbot/config/user-config-player-x86_64.py b/build_files/buildbot/config/user-config-player-x86_64.py index 363997143e5..d51894b26cf 100644 --- a/build_files/buildbot/config/user-config-player-x86_64.py +++ b/build_files/buildbot/config/user-config-player-x86_64.py @@ -59,6 +59,12 @@ WITH_BF_BULLET = True WITH_BF_NOBLENDER = True WITH_BF_PLAYER = True +# Use jemalloc memory manager +WITH_BF_JEMALLOC = True +WITH_BF_STATICJEMALLOC = True +BF_JEMALLOC = '/home/sources/staticlibs/jemalloc' +BF_JEMALLOC_LIBPATH = '${BF_JEMALLOC}/lib64' + # Compilation and optimization BF_DEBUG = False REL_CFLAGS = ['-O2'] |