diff options
| author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-09-12 07:18:52 +0200 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-09-12 07:18:52 +0200 |
| commit | 3c5c01a109eb5d673fb24a59557b85562635e307 (patch) | |
| tree | 3dab3f1ee5b34427be7d3cc16d9c4abf834164d6 /python/servo/package_commands.py | |
| parent | 84160613413aa3f9bfc447d4c0e61e7b846b9392 (diff) | |
| download | servo-3c5c01a109eb5d673fb24a59557b85562635e307.tar.gz servo-3c5c01a109eb5d673fb24a59557b85562635e307.zip | |
Move gstreamer msi to msi folder after download
Diffstat (limited to 'python/servo/package_commands.py')
| -rw-r--r-- | python/servo/package_commands.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py index 020a0492cd1..093b634766d 100644 --- a/python/servo/package_commands.py +++ b/python/servo/package_commands.py @@ -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") |