diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2018-07-20 16:29:08 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2018-07-20 16:29:08 +0200 |
| commit | 5fe4d2b94edf526ed9b53d764f2962d895f9509e (patch) | |
| tree | 23c10ceccb7bd605319ef978758ed8d6f88c6dd4 /bench_conprod.py | |
| parent | f09137d002759913660f812296d2085116917870 (diff) | |
| download | allocbench-5fe4d2b94edf526ed9b53d764f2962d895f9509e.tar.gz allocbench-5fe4d2b94edf526ed9b53d764f2962d895f9509e.zip | |
add LD_LIBRARY_PATH to env if in environment
Diffstat (limited to 'bench_conprod.py')
| -rw-r--r-- | bench_conprod.py | 2 |
1 files changed, 2 insertions, 0 deletions
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: |
