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. |