mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-28 04:35:33 +00:00
26 lines
801 B
Plaintext
26 lines
801 B
Plaintext
#!/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[0: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)
|