diff options
| -rwxr-xr-x | src/etc/get-snapshot.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/etc/get-snapshot.py b/src/etc/get-snapshot.py index fd97affd9ad..faa21ca74df 100755 --- a/src/etc/get-snapshot.py +++ b/src/etc/get-snapshot.py @@ -50,7 +50,9 @@ triple = sys.argv[1] if len(sys.argv) == 3: dl_path = sys.argv[2] else: - snap = determine_curr_snapshot(triple) + # There are no 64-bit Windows snapshots yet, so we'll use 32-bit ones instead, for now + snap_triple = triple if triple != "x86_64-w64-mingw32" else "i686-pc-mingw32" + snap = determine_curr_snapshot(snap_triple) dl = os.path.join(download_dir_base, snap) url = download_url_base + "/" + snap print("determined most recent snapshot: " + snap) |