devtools/install.rdf
author Gregory Szorc <gps@mozilla.com>
Mon, 13 Nov 2017 17:31:14 -0800
changeset 698520 b38078581bddf454c3901ed22620bff4ed6c32f6
parent 661006 0b755ebe73d657b9ee0e16da3b6bf87aa5b253cf
permissions -rw-r--r--
Bug 1417264 - Write objdir .mozconfig from Python; r?build This is a pretty straightforward port of the logic. But we even go a step further: we delete the file in the objdir if there is no source mozconfig! MozReview-Commit-ID: AHFFzy6mXRY

<?xml version="1.0"?>
<!--
# 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/.
-->

<RDF xmlns="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:em="http://www.mozilla.org/2004/em-rdf#">
  <Description about="urn:mozilla:install-manifest"
               em:id="devtools@mozilla.org"
               em:name="Developer Tools"
               em:description="System-addon for Firefox DevTools"
               em:version="44.0a1"
               em:type="2"
               em:creator="Mozilla">

    <em:bootstrap>true</em:bootstrap>
    <em:multiprocessCompatible>true</em:multiprocessCompatible>
    <!-- Valid for all toolkit applications -->
    <em:targetApplication>
      <Description>
        <em:id>toolkit@mozilla.org</em:id>
        <em:minVersion>57.0a1</em:minVersion>
        <em:maxVersion>*</em:maxVersion>
      </Description>
    </em:targetApplication>
  </Description>
</RDF>