537 |
|
|
538 |
<INCLUDE>[ \t]* /* eat the whitespace */ |
<INCLUDE>[ \t]* /* eat the whitespace */ |
539 |
|
|
540 |
<INCLUDE>\"[^\"\n]+\" { /* got the include file name with double quotes */ |
<INCLUDE>\"[^\"\r\n]+\" { /* got the include file name with double quotes */ |
541 |
char *temp=xstrdup(yytext); |
char *temp=xstrdup(yytext); |
542 |
Util_trimQuotes(temp); |
Util_trimQuotes(temp); |
543 |
include_file(temp); |
include_file(temp); |
545 |
BEGIN(INITIAL); |
BEGIN(INITIAL); |
546 |
} |
} |
547 |
|
|
548 |
<INCLUDE>\'[^\'\n]+\' { /* got the include file name with single quotes*/ |
<INCLUDE>\'[^\'\r\n]+\' { /* got the include file name with single quotes*/ |
549 |
char *temp=xstrdup(yytext); |
char *temp=xstrdup(yytext); |
550 |
Util_trimQuotes(temp); |
Util_trimQuotes(temp); |
551 |
include_file(temp); |
include_file(temp); |
553 |
BEGIN(INITIAL); |
BEGIN(INITIAL); |
554 |
} |
} |
555 |
|
|
556 |
<INCLUDE>[^ \t\n]+ { /* got the include file name without quotes*/ |
<INCLUDE>[^ \t\r\n]+ { /* got the include file name without quotes*/ |
557 |
char *temp=xstrdup(yytext); |
char *temp=xstrdup(yytext); |
558 |
include_file(temp); |
include_file(temp); |
559 |
FREE(temp); |
FREE(temp); |