Commit 30fc6d3e authored by Patrick Griffis's avatar Patrick Griffis 💬 Committed by Christian Hergert
Browse files

mingw: Set correct system type/id for 64bit

https://bugzilla.gnome.org/show_bug.cgi?id=748427
parent ceed2d9d
......@@ -62,8 +62,8 @@ ide_mingw_device_provider_discover_worker (GTask *task,
/* add 64-bit mingw device */
device = ide_mingw_device_new (context,
_("MinGW (64-bit)"),
"local-i686-w64-mingw32",
"i686-w64-mingw32");
"local-x86_64-w64-mingw32",
"x86_64-w64-mingw32");
g_ptr_array_add (devices, device);
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment