g.extension: fix 32bit issue

             (merge https://trac.osgeo.org/grass/changeset/67202 from trunk)


git-svn-id: https://svn.osgeo.org/grass/grass/branches/releasebranch_7_0@67203 15284696-431f-4ddb-bdfa-cd5b030d7da7

scripts/g.extension/g.extension.py

@@ -700,10 +700,14 @@ def install_extension_win(name):
     # http://wingrass.fsv.cvut.cz/platform/grassXX/addonsX.X.X
     grass.message(_("Downloading precompiled GRASS Addons <%s>...") %
                   options['extension'])
+    if build_platform == 'x86_64':
+        platform = build_platform
+    else:
+        platform = 'x86'
     url = "http://wingrass.fsv.cvut.cz/%(platform)s/" \
           "grass%(major)s%(minor)s/addons/" \
           "grass-%(major)s.%(minor)s.%(patch)s/" % \
-        {'platform' : build_platform, 'major': version[0],
+        {'platform' : platform, 'major': version[0],
          'minor': version[1], 'patch': version[2]}
     
     grass.debug("url=%s" % url, 1)