mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-09 03:15:11 +00:00
3e643d335d
...by using a 'marker file' to indicate whether we actually need to run pip. Also a minor tweak for clarity. Before (consistently): ``` $ time ./mach >/dev/null real 0m0.666s user 0m0.477s sys 0m0.190s ``` After: ``` $ time ./mach >/dev/null # first run real 0m0.665s user 0m0.501s sys 0m0.166s $ time ./mach >/dev/null real 0m0.121s user 0m0.083s sys 0m0.039s ``` Source-Repo: https://github.com/servo/servo Source-Revision: b511004a616862394318381d7ef5ac3c59c7babe
26 lines
803 B
Bash
Executable File
26 lines
803 B
Bash
Executable File
#!/bin/sh
|
|
# This Source Code Form is subject to the terms of the Mozilla Public
|
|
# License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
# The beginning of this script is both valid shell and valid python,
|
|
# such that the script starts with the shell and is reexecuted with
|
|
# the right python.
|
|
'''which' python2.7 > /dev/null && exec python2.7 "$0" "$@" || exec python "$0" "$@"
|
|
'''
|
|
|
|
from __future__ import print_function, unicode_literals
|
|
|
|
import os
|
|
import sys
|
|
|
|
def main(args):
|
|
topdir = 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 __name__ == '__main__':
|
|
main(sys.argv)
|