From 5fe4d2b94edf526ed9b53d764f2962d895f9509e Mon Sep 17 00:00:00 2001
From: Florian Fischer <florian.fl.fischer@fau.de>
Date: Fri, 20 Jul 2018 16:29:08 +0200
Subject: add LD_LIBRARY_PATH to env if in environment

---
 bench_conprod.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'bench_conprod.py')

diff --git a/bench_conprod.py b/bench_conprod.py
index e444bfb..ef7676f 100644
--- a/bench_conprod.py
+++ b/bench_conprod.py
@@ -54,6 +54,8 @@ class Benchmark_ConProd( Benchmark ):
                     result = {"VSZ" : [] , "RSS" : []}
 
                     env = {"LD_PRELOAD" : t[1]} if t[1] != "" else None
+                    if env and "LD_LIBRARY_PATH" in os.environ:
+                        env["LD_LIBRARY_PATH"] = os.environ["LD_LIBRARY_PATH"]
 
                     target_cmd = cmd.format(t[0], *args).split(" ")
                     if verbose:
-- 
cgit v1.2.3