Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-10 09:33:13 +00:00
Code Issues Projects Releases Packages Wiki Activity

Minor style tweak

Browse source
This commit is contained in:
Aidan Hobson Sayers 2015-09-14 20:46:11 +01:00
parent 9737b2375e
commit 078d21b6e2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
mach
View file

@ -16,7 +16,7 @@ import sys
def main(args): def main(args):
topdir = os.path.dirname(sys.argv[0]) topdir = os.path.dirname(sys.argv[0])
sys.path[0:0] = [os.path.join(topdir, "python")] sys.path.insert(0, os.path.join(topdir, "python"))
import mach_bootstrap import mach_bootstrap
mach = mach_bootstrap.bootstrap(topdir) mach = mach_bootstrap.bootstrap(topdir)
sys.exit(mach.run(sys.argv[1:])) sys.exit(mach.run(sys.argv[1:]))