| Index: tools/valgrind/valgrind_test.py
|
| diff --git a/tools/valgrind/valgrind_test.py b/tools/valgrind/valgrind_test.py
|
| index 7da0426ffb43023c740874031c4758154280f0ff..e231ebaa256c3ff7bc0ef59d3d93c1fe52203c5d 100644
|
| --- a/tools/valgrind/valgrind_test.py
|
| +++ b/tools/valgrind/valgrind_test.py
|
| @@ -861,7 +861,7 @@ class DrMemory(BaseTool):
|
| except OSError:
|
| logging.warning("Can't create symcache dir?")
|
| if os.path.exists(symcache_dir):
|
| - proc += ["-symcache_dir", symcache_dir]
|
| + proc += ["-symcache_dir", common.NormalizeWindowsPath(symcache_dir)]
|
|
|
| # Use -no_summary to suppress DrMemory's summary and init-time
|
| # notifications. We generate our own with drmemory_analyze.py.
|
|
|