Index: sky/tools/skydb |
diff --git a/sky/tools/skydb b/sky/tools/skydb |
index 4f87a93fa8ed36eb14dcc6d38bdd7e4d41912d67..6160030e48ceee4b422c19374f2f80b7a8e80fce 100755 |
--- a/sky/tools/skydb |
+++ b/sky/tools/skydb |
@@ -131,6 +131,7 @@ class SkyDebugger(object): |
if is_android and args.gdb: |
shell_args.append('--wait-for-debugger') |
+ shell_args.append('--predictable-app-filenames') |
if 'remote_sky_server_port' in self.pids: |
shell_command = self._wrap_for_android(shell_args) |