diff options
Diffstat (limited to 'src/allocators/jemalloc.py')
| -rw-r--r-- | src/allocators/jemalloc.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/allocators/jemalloc.py b/src/allocators/jemalloc.py index f3f43cb..d3f2c3d 100644 --- a/src/allocators/jemalloc.py +++ b/src/allocators/jemalloc.py @@ -1,8 +1,9 @@ import src.allocator + version = "5.1.0" -sources=src.allocator.Allocator_Sources("jemalloc", +sources = src.allocator.Allocator_Sources("jemalloc", retrieve_cmds=["git clone https://github.com/jemalloc/jemalloc.git"], prepare_cmds=["git checkout {}".format(version), "./autogen.sh"]) @@ -18,3 +19,6 @@ class Jemalloc (src.allocator.Allocator): "mkdir -p {dir}"] super().__init__(name, **kwargs) + + +jemalloc = Jemalloc("jemalloc") |
