]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/tool/kconfig/scripts/kconfig/zconf.tab.c_shipped
update
[l4.git] / kernel / fiasco / tool / kconfig / scripts / kconfig / zconf.tab.c_shipped
index d2c56f3c3d2e9a74a02b45f99d5f0f962fc84892..f636141e7bfd73526569bb96d300faba322761fe 100644 (file)
@@ -2259,7 +2259,7 @@ void conf_parse(const char *name)
        modules_sym = sym_lookup(NULL, 0);
        modules_sym->type = S_BOOLEAN;
        modules_sym->flags |= SYMBOL_AUTO;
-       rootmenu.prompt = menu_add_prompt(P_MENU, "Fiasco Kernel Configuration", NULL);
+       rootmenu.prompt = menu_add_prompt(P_MENU, "Linux Kernel Configuration", NULL);
 
        if (getenv("ZCONF_DEBUG"))
                zconfdebug = 1;