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