GC some leftover stuff (device-driver suffix)

This commit is contained in:
Peter Wemm 2001-02-28 01:17:04 +00:00
parent b466200952
commit 0ef4251fb9

View File

@ -461,13 +461,6 @@ read_files(void)
filetype = NODEPEND;
goto nextparam;
}
if (eq(wd, "device-driver")) {
if (!ddwarned) {
printf("%s: `device-driver' flag ignored.\n", fname);
ddwarned++;
}
goto nextparam;
}
if (eq(wd, "profiling-routine")) {
filetype = PROFILING;
goto nextparam;