tools/lint/wpt/wpt_manifest.py
author Gregory Szorc <gps@mozilla.com>
Tue, 07 Nov 2017 16:38:39 -0800
changeset 441455 b5f79b0f2a3586faf692c715b443264478e921c3
parent 410936 0eb21ab64fcd026cc753fc6d9457499fab9045d5
permissions -rw-r--r--
Bug 1412932 - Switch to PGO build in Makefile.in; r=ted Previously, client.mk made the decision of whether to perform a PGO build. This required passing around MOZ_PGO and invoking a separate make target if this variable was set. In this commit, we move this logic to Makefile.in. We employ a special mechanism in rules.mk to override the default make target so `make` evaluates "profiledbuild" if MOZ_PGO is set. This also required using an explicit target for $(MAKE) invocations inside the "profiledbuild" rule to avoid infinite recursion. MozReview-Commit-ID: 8sHiVspMisM

# -*- Mode: python; indent-tabs-mode: nil; tab-width: 40 -*-
# vim: set filetype=python:
# 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/.

import imp
import os


def lint(files, config, logger, **kwargs):
    wpt_dir = os.path.join(kwargs["root"], "testing", "web-platform")
    manifestupdate = imp.load_source("manifestupdate",
                                     os.path.join(wpt_dir, "manifestupdate.py"))
    manifestupdate.update(logger, wpt_dir, True)