update

[l4.git] / kernel / fiasco / tool / kconfig / scripts / kconfig / lex.zconf.c_shipped

diff --git a/kernel/fiasco/tool/kconfig/scripts/kconfig/lex.zconf.c_shipped b/kernel/fiasco/tool/kconfig/scripts/kconfig/lex.zconf.c_shipped
index fdc7113b08d112ae5db2c2a6a93dae5ca44ef065..6eb039718259a38838268c7df29a2212cb265bed 100644 (file)
--- a/kernel/fiasco/tool/kconfig/scripts/kconfig/lex.zconf.c_shipped
+++ b/kernel/fiasco/tool/kconfig/scripts/kconfig/lex.zconf.c_shipped
@@ -2373,9 +2373,10 @@ void zconf_nextfile(const char *name)
        memset(buf, 0, sizeof(*buf));
 
        current_buf->state = YY_CURRENT_BUFFER;
-       zconfin = zconf_fopen(name);
+       zconfin = zconf_fopen(file->name);
        if (!zconfin) {
-               printf("%s:%d: can't open file \"%s\"\n", zconf_curname(), zconf_lineno(), name);
+               printf("%s:%d: can't open file \"%s\"\n",
+                   zconf_curname(), zconf_lineno(), file->name);
                exit(1);
        }
        zconf_switch_to_buffer(zconf_create_buffer(zconfin,YY_BUF_SIZE));
@@ -2422,7 +2423,7 @@ int zconf_lineno(void)
        return current_pos.lineno;
 }
 
-char *zconf_curname(void)
+const char *zconf_curname(void)
 {
        return current_pos.file ? current_pos.file->name : "<none>";
 }