deal with /dev/vga. this fix should be burned...

This commit is contained in:
cgd 1993-07-21 13:12:51 +00:00
parent 9c7cb7e7be
commit 7135ffe937
1 changed files with 2 additions and 1 deletions

View File

@ -211,7 +211,8 @@ setupdevs()
while (dp = readdir(fd)) {
if (dp->d_ino == 0)
continue;
if (dp->d_name[0] != 't' && strcmp(dp->d_name, "console"))
if (dp->d_name[0] != 't' && /* XXX (cgd) followin is a hack! */
(strcmp(dp->d_name, "console") && strcmp(dp->d_name, "vga")))
continue;
(void)strncpy(hashtab->dev_name, dp->d_name, UT_LINESIZE);
hashtab->dev_name[UT_LINESIZE] = 0;