[pypy-commit] pypy z196-support: gcc does not recognize z13 (default to zEC12 instead)

[plan_rich]

Author: Richard Plangger <planrichi at gmail.com>
Branch: z196-support
Changeset: r84421:fe11680b5469
Date: 2016-05-13 12:29 +0200
http://bitbucket.org/pypy/pypy/changeset/fe11680b5469/

Log:	gcc does not recognize z13 (default to zEC12 instead)

diff --git a/rpython/translator/platform/arch/s390x.py b/rpython/translator/platform/arch/s390x.py
--- a/rpython/translator/platform/arch/s390x.py
+++ b/rpython/translator/platform/arch/s390x.py
@@ -61,7 +61,7 @@
     if machine == 2827 or machine == 2828:
         return "zEC12"
     if machine == 2964:
-        return "z13"
+        return "zEC12" # it would be z13, but gcc does not recognize this!
 
     # well all others are unsupported!
     return "unknown"