Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Allow bootstrap to be run before anything else is installed

Browse source
This commit is contained in:
Manish Goregaokar 2018-09-03 15:05:21 +05:30
parent 6b75aa47cb
commit e72e08ea9c
5 changed files with 40 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

7
mach
View file

@ -20,8 +20,11 @@ def main(args):
topdir = os.path.abspath(os.path.dirname(sys.argv[0]))
sys.path.insert(0, os.path.join(topdir, "python"))
import mach_bootstrap
mach = mach_bootstrap.bootstrap(topdir)
sys.exit(mach.run(sys.argv[1:]))
if len(sys.argv) > 1 and sys.argv[1] == "bootstrap":
sys.exit(mach_bootstrap.bootstrap_command_only(topdir))
else:
mach = mach_bootstrap.bootstrap(topdir)
sys.exit(mach.run(sys.argv[1:]))
if __name__ == '__main__':