diff options
| author | Jiri Olsa <Jiri Olsa jolsa@redhat.com> | 2011-06-12 19:05:07 +0200 |
|---|---|---|
| committer | Jiri Olsa <Jiri Olsa jolsa@redhat.com> | 2011-06-17 12:08:17 +0200 |
| commit | b56d0731ccb162f5830a94c037d6975371a067ac (patch) | |
| tree | bedb84a830db5b2dfbda22ad81a12d9d3c360572 /src/config-flex.l | |
| parent | 84e8f950cc8705bfdc7dee571f59153daeea180a (diff) | |
| download | latrace-b56d0731ccb162f5830a94c037d6975371a067ac.tar.gz latrace-b56d0731ccb162f5830a94c037d6975371a067ac.tar.xz latrace-b56d0731ccb162f5830a94c037d6975371a067ac.zip | |
config: Add libs and symbols specfication config file options
Added following config file options:
LIBS, LIBS_TO, LIBS_FROM, SYM, SYM_OMIT, SYM_BELOW
They match their command line equivalents.
Diffstat (limited to 'src/config-flex.l')
| -rw-r--r-- | src/config-flex.l | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/src/config-flex.l b/src/config-flex.l index c2ed192..a15a687 100644 --- a/src/config-flex.l +++ b/src/config-flex.l @@ -50,9 +50,7 @@ do { \ num [-0-9] value ({num})+ -alphnum [-0-9a-zA-Z_] -name ({alphnum})+ -filename ([-0-9a-zA-Z\./_])+ +name ([-0-9a-zA-Z\./_\-\*])+ bool YES|NO comment ^([\s\t])*#.* @@ -66,7 +64,7 @@ comment ^([\s\t])*#.* . { ; } INCLUDE { BEGIN(include); return INCLUDE; } -<include>{filename} { RETURN_STR(FILENAME); } +<include>{name} { RETURN_STR(NAME); } <include>"\"" { return '"'; } <include>\n { BEGIN(INITIAL); NEW_LINE(); } <include>. { ; } @@ -86,15 +84,22 @@ OPTIONS { BEGIN(options); return OPTIONS; } <options>ENABLE_ARGS { return OPT_ENABLE_ARGS; } <options>DETAIL_ARGS { return OPT_DETAIL_ARGS; } <options>OUTPUT_TTY { return OPT_OUTPUT_TTY; } +<options>LIBS { return OPT_LIBS; } +<options>LIBS_TO { return OPT_LIBS_TO; } +<options>LIBS_FROM { return OPT_LIBS_FROM; } +<options>SYM { return OPT_SYM; } +<options>SYM_OMIT { return OPT_SYM_OMIT; } +<options>SYM_BELOW { return OPT_SYM_BELOW; } <options>{bool} { RETURN_STR(BOOL); } <options>{value} { RETURN_LONG(VALUE); } -<options>{filename} { RETURN_STR(FILENAME); } +<options>{name} { RETURN_STR(NAME); } <options>{comment} { ; } <options>"}" { BEGIN(INITIAL); return '}'; } <options>"{" { return '{'; } <options>"=" { return '='; } <options>"\"" { return '"'; } +<options>"," { return ','; } <options>"\\" { ; } <options>"\n" { NEW_LINE(); } <options>. { ; } |