| Index: sky/tools/skydb
|
| diff --git a/sky/tools/skydb b/sky/tools/skydb
|
| index d0340cdd089b05b24fcaed8867c74d1c8c6194f6..98e8c54f5e5f5719bdcb1e130544f5d1c00aa08b 100755
|
| --- a/sky/tools/skydb
|
| +++ b/sky/tools/skydb
|
| @@ -65,6 +65,7 @@ class SkyDebugger(object):
|
|
|
| parser = argparse.ArgumentParser(description='Sky launcher/debugger')
|
| parser.add_argument('--gdb', action='store_true')
|
| + parser.add_argument('--use-osmesa', action='store_true')
|
| parser.add_argument('url', nargs='?', type=str)
|
| args = parser.parse_args()
|
|
|
| @@ -84,6 +85,8 @@ class SkyDebugger(object):
|
|
|
| prompt_args = '--args-for=mojo://sky_debugger_prompt/ %s' % url
|
| shell_command.append(prompt_args)
|
| + if args.use_osmesa:
|
| + shell_command.append('--args-for=mojo://native_viewport_service/ --use-osmesa')
|
| if args.gdb:
|
| shell_command = ['gdb', '--args'] + shell_command
|
|
|
|
|