diff options
| author | Diego Nieto Cid <dnietoc@gmail.com> | 2010-07-19 22:18:02 -0300 |
|---|---|---|
| committer | Diego Nieto Cid <dnietoc@gmail.com> | 2011-04-08 14:36:18 -0300 |
| commit | f4b3884514804f7a59cecd87d84420358629fc69 (patch) | |
| tree | 725b80830b589e58d4da16d849e113d0664275b4 /console-client | |
| parent | 603c799b9d2e83e404fed519822de1e565ab4ffd (diff) | |
Give the file name and line number where an unexpected end of file was found.
Diffstat (limited to 'console-client')
| -rw-r--r-- | console-client/xkb/lex.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/console-client/xkb/lex.l b/console-client/xkb/lex.l index 6ef9134c..ffd14387 100644 --- a/console-client/xkb/lex.l +++ b/console-client/xkb/lex.l @@ -346,7 +346,7 @@ overlay2 { yylval.val = 2; return OVERLAY; } if ( --include_stack_ptr < 0 ) { // yyterminate (); - fprintf (stderr, "Unexpected end of file.\n"); + fprintf (stderr, "Unexpected end of file at %s:%d.\n", filename, lineno); exit (1); } else |