diff options
Diffstat (limited to 'opcodes/s390-mkopc.c')
| -rw-r--r-- | opcodes/s390-mkopc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/opcodes/s390-mkopc.c b/opcodes/s390-mkopc.c index 0d0767838e5..fe21ea1b7ba 100644 --- a/opcodes/s390-mkopc.c +++ b/opcodes/s390-mkopc.c @@ -377,7 +377,8 @@ main (void) else if (strcmp (cpu_string, "z14") == 0 || strcmp (cpu_string, "arch12") == 0) min_cpu = S390_OPCODE_ARCH12; - else if (strcmp (cpu_string, "arch13") == 0) + else if (strcmp (cpu_string, "z15") == 0 + || strcmp (cpu_string, "arch13") == 0) min_cpu = S390_OPCODE_ARCH13; else { fprintf (stderr, "Couldn't parse cpu string %s\n", cpu_string); |