diff options
Diffstat (limited to 'usr.sbin/config/config.y')
| -rw-r--r-- | usr.sbin/config/config.y | 18 |
1 files changed, 1 insertions, 17 deletions
diff --git a/usr.sbin/config/config.y b/usr.sbin/config/config.y index 5fe6ff6..52f77c0 100644 --- a/usr.sbin/config/config.y +++ b/usr.sbin/config/config.y @@ -121,23 +121,7 @@ Spec: Config_spec: ARCH Save_id = { - if (!strcmp($2, "i386")) { - machine = MACHINE_I386; - machinename = "i386"; - } else if (!strcmp($2, "pc98")) { - machine = MACHINE_PC98; - machinename = "pc98"; - } else if (!strcmp($2, "alpha")) { - machine = MACHINE_ALPHA; - machinename = "alpha"; - } else if (!strcmp($2, "ia64")) { - machine = MACHINE_IA64; - machinename = "ia64"; - } else if (!strcmp($2, "powerpc")) { - machine = MACHINE_POWERPC; - machinename = "powerpc"; - } else - yyerror("Unknown machine type"); + machinename = $2; } | CPU Save_id = { |
