git://www.ginac.de
/
ginac.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
- '#' 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 */