diff options
| -rw-r--r-- | src/defargs.l | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/defargs.l b/src/defargs.l index a55ad27..7f1e1bb 100644 --- a/src/defargs.l +++ b/src/defargs.l @@ -256,6 +256,14 @@ RAWEND ")"[^ \t\(\)\\]{0,16}\" REJECT; } } +<CopyArgSharp>">>)" { // combined token (see bug 790320) + *g_copyArgValue += yytext; + if (g_argSharpCount>0) g_argSharpCount--; + else BEGIN( g_readArgContext ); + if (g_argSharpCount>0) g_argSharpCount--; + else BEGIN( g_readArgContext ); + g_argRoundCount--; + } <CopyArgSharp>">>" { if (g_argRoundCount>0) { |