author Justin Wood <>
Wed, 12 Feb 2014 20:47:24 -0500
changeset 17016 c557c752cb53235e43ab9f1c57bfe2e841ef93e0
parent 12286 84ac3c71109811da751f0ef2d72108075938f094
permissions -rw-r--r--
Bug 949884 - Disable pulseaudio in SeaMonkey. r=Callek a=IanN on a CLOSED TREE

# 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

# Get the target platform from a set of install.rdf files, and
# return the first install.rdf with the platform replaced by the list of 
# platforms as parsed from all the files
# Allows to create a install.rdf for multiple platforms

import sys
from xml.dom.minidom import parse

elems = []
for arg in sys.argv[2:]:
	doc = parse(arg + "/install.rdf")
	elem = doc.getElementsByTagName("em:targetPlatform")[0]

doc = parse(sys.argv[1] + "/install.rdf")
elem = doc.getElementsByTagName("em:targetPlatform")[0]
for newelem in elems:
	elem.parentNode.insertBefore(newelem, elem)
print doc.toxml()