diff options
Diffstat (limited to 'python/mach_bootstrap.py')
| -rw-r--r-- | python/mach_bootstrap.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/python/mach_bootstrap.py b/python/mach_bootstrap.py index 86ba50d8341..6690bc1bd2c 100644 --- a/python/mach_bootstrap.py +++ b/python/mach_bootstrap.py @@ -198,7 +198,9 @@ def bootstrap_command_only(topdir): import servo.util try: - servo.platform.get().bootstrap('-f' in sys.argv or '--force' in sys.argv) + force = '-f' in sys.argv or '--force' in sys.argv + skip_platform = '--skip-platform' in sys.argv + servo.platform.get().bootstrap(force, skip_platform) except NotImplementedError as exception: print(exception) return 1 |