Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-16 04:14:29 +00:00
Code Issues Projects Releases Packages Wiki Activity

Move gstreamer msi to msi folder after download

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2018-09-12 07:18:52 +02:00
parent 8416061341
commit 3c5c01a109
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
python/servo/package_commands.py
View file

@ -371,12 +371,11 @@ class PackageCommands(CommandBase):
# Download GStreamer installer. Only once.
dir_to_gst_deps = path.join(dir_to_msi, 'Gstreamer.msi')
gstreamer_msi_path = path.join(target_dir, 'Gstreamer.msi')
if os.path.exists(gstreamer_msi_path):
shutil.copy(gstreamer_msi_path, dir_to_gst_deps)
else:
if not os.path.exists(gstreamer_msi_path):
print('Fetching GStreamer installer. This may take a while...')
gstreamer_url = 'https://gstreamer.freedesktop.org/data/pkg/windows/1.14.2/gstreamer-1.0-x86-1.14.2.msi'
urllib.urlretrieve(gstreamer_url, gstreamer_msi_path)
shutil.copy(gstreamer_msi_path, dir_to_gst_deps)
# Generate bundle with GStreamer and Servo installers.
print("Creating bundle")