diff options
| -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") |