servo: Merge
#10513 - Extract out 'is the html body element' CSSOM concept (from frewsxcv:is_the_html_body_element); r=Ms2ger
Source-Repo:
https://github.com/servo/servo
Source-Revision:
f9f3b7529ba2c66b6203b0742c4cd89d03ddd772
#!/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)