aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fl.fischer@fau.de>2019-06-17 14:59:17 +0200
committerFlorian Fischer <florian.fl.fischer@fau.de>2019-06-17 14:59:17 +0200
commit47f1f8d673ff3b1f657a4f85835e6a1cc4725399 (patch)
treebe51f7869ac623b6ecfb85c1e384a1eea5d4908d
parent0d192f8cf3c21b2382e227fab057dabe16ea5e8b (diff)
downloadallocbench-47f1f8d673ff3b1f657a4f85835e6a1cc4725399.tar.gz
allocbench-47f1f8d673ff3b1f657a4f85835e6a1cc4725399.zip
fix jemalloc, SuperMalloc and Hoard dirty builds
-rw-r--r--src/allocators/hoard.py2
-rw-r--r--src/allocators/jemalloc.py2
-rw-r--r--src/allocators/supermalloc.py2
3 files changed, 3 insertions, 3 deletions
diff --git a/src/allocators/hoard.py b/src/allocators/hoard.py
index c50a616..f18fcb4 100644
--- a/src/allocators/hoard.py
+++ b/src/allocators/hoard.py
@@ -12,7 +12,7 @@ class Hoard (src.allocator.Allocator):
kwargs["sources"] = sources
kwargs["LD_PRELOAD"] = "{srcdir}/src/libhoard.so"
- kwargs["build_cmds"] = ["cd {srcdir}/src; make", "mkdir {dir}"]
+ kwargs["build_cmds"] = ["cd {srcdir}/src; make", "mkdir -p {dir}"]
kwargs["patches"] = ["{patchdir}/hoard_make.patch"]
super().__init__(name, **kwargs)
diff --git a/src/allocators/jemalloc.py b/src/allocators/jemalloc.py
index c64f5af..f3f43cb 100644
--- a/src/allocators/jemalloc.py
+++ b/src/allocators/jemalloc.py
@@ -15,6 +15,6 @@ class Jemalloc (src.allocator.Allocator):
kwargs["LD_PRELOAD"] = "{srcdir}/lib/libjemalloc.so"
kwargs["build_cmds"] = ["cd {srcdir}; ./configure --prefix={dir} CFLAGS=-O2",
"cd {srcdir}; make -j4",
- "mkdir {dir}"]
+ "mkdir -p {dir}"]
super().__init__(name, **kwargs)
diff --git a/src/allocators/supermalloc.py b/src/allocators/supermalloc.py
index 7b96b80..94aae7d 100644
--- a/src/allocators/supermalloc.py
+++ b/src/allocators/supermalloc.py
@@ -14,7 +14,7 @@ class SuperMalloc (src.allocator.Allocator):
kwargs["sources"] = sources
kwargs["LD_PRELOAD"] = "{srcdir}/release/lib/libsupermalloc.so"
kwargs["build_cmds"] = ["cd {srcdir}/release; make CFLAGS=-O2",
- "mkdir {dir}"]
+ "mkdir -p {dir}"]
super().__init__(name, **kwargs)