- '#' as the first character of a line starts a comment

[ginac.git] / ginsh / ginsh_lexer.ll

diff --git a/ginsh/ginsh_lexer.ll b/ginsh/ginsh_lexer.ll
index d27d0fe..ff585da 100644 (file)
--- a/ginsh/ginsh_lexer.ll
+++ b/ginsh/ginsh_lexer.ll
@@ -56,6 +56,7 @@ AN    [0-9a-zA-Z_]
 [ \t\n]+               /* skip whitespace */
 \\$                    /* skip line continuations */
 "//".*                 /* skip comments starting with "//" */
+^"#".*                 /* skip lines starting with "#" */
 ^"!".*                 system(yytext + 1);     /* execute shell command */
 
                        /* special values */