Index: mojo/devtools/common/mojo_run |
diff --git a/mojo/devtools/common/mojo_run b/mojo/devtools/common/mojo_run |
index 778dd704d19f5811f3b3a25a5cd4f16e2ac99b7b..0adba393aba83c531b86b5ad0afcc17940d9e8b1 100755 |
--- a/mojo/devtools/common/mojo_run |
+++ b/mojo/devtools/common/mojo_run |
@@ -77,8 +77,6 @@ def main(): |
help='Window manager app to be mapped as ' |
'mojo:window_manager. By default it is ' + |
_DEFAULT_WINDOW_MANAGER) |
- parser.add_argument('--sky', |
- help='Loads the given Sky file.') |
script_args, shell_args = parser.parse_known_args() |
@@ -121,15 +119,6 @@ def main(): |
'mojo:window_manager=%s' % |
script_args.window_manager) |
- if script_args.sky: |
- if not mojo_paths: |
- print 'Running with --sky is not supported outside of the Mojo checkout.' |
- # See https://github.com/domokit/devtools/issues/27. |
- return 1 |
- shell_args.extend(shell_arguments._configure_sky(shell, mojo_paths['root'], |
- mojo_paths['sky_packages'], |
- script_args.sky)) |
- |
if script_args.verbose: |
print "Shell arguments: " + str(shell_args) |