From 7995528dae9d43988bc7deeb89c62e094ed1f511 Mon Sep 17 00:00:00 2001 From: Vadim Chugunov Date: Tue, 22 Apr 2014 15:48:51 -0700 Subject: There are no 64-bit Windows snapshots yet, so we'll use 32-bit ones instead. --- src/etc/get-snapshot.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') 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) -- cgit 1.4.1-3-g733a5