diff options
Diffstat (limited to 'usr.sbin/config/config.y')
| -rw-r--r-- | usr.sbin/config/config.y | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/usr.sbin/config/config.y b/usr.sbin/config/config.y index 9ad7b0dffce3..845ee657ceb2 100644 --- a/usr.sbin/config/config.y +++ b/usr.sbin/config/config.y @@ -117,6 +117,9 @@ #include <sys/disklabel.h> #include <sys/diskslice.h> +#ifdef linux +#include <sys/sysmacros.h> +#endif #include <ctype.h> #include <err.h> @@ -189,6 +192,9 @@ Config_spec: } else if (!strcmp($2, "news3400")) { machine = MACHINE_NEWS3400; machinename = "news3400"; + } else if (!strcmp($2, "alpha")) { + machine = MACHINE_ALPHA; + machinename = "alpha"; } else yyerror("Unknown machine type"); } | |