diff options
Diffstat (limited to 'usr.sbin/config/config.y')
| -rw-r--r-- | usr.sbin/config/config.y | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/usr.sbin/config/config.y b/usr.sbin/config/config.y index 5d12b9d..a0352b5 100644 --- a/usr.sbin/config/config.y +++ b/usr.sbin/config/config.y @@ -120,6 +120,9 @@ Config_spec: } else if (!strcmp($2, "alpha")) { machine = MACHINE_ALPHA; machinename = "alpha"; + } else if (!strcmp($2, "ia64")) { + machine = MACHINE_IA64; + machinename = "ia64"; } else yyerror("Unknown machine type"); } | |
