diff options
author | ragge <ragge> | 2008-08-21 16:32:40 +0000 |
---|---|---|
committer | ragge <ragge> | 2008-08-21 16:32:40 +0000 |
commit | 98ba884fe9f21d8e33c499bda83b5d22252d2b15 (patch) | |
tree | 43baf0585e3460c2ea6bc57cfa5744bf903ab2e5 | |
parent | 0436aa8f1a8704855615bd2da09d1b31f5713240 (diff) |
Accept // as comment in #if directives, as pointed out by Daniel Dickman.
-rw-r--r-- | scanner.l | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -795,6 +795,10 @@ storepb(void) getcmnt(); stringbuf = g; continue; + } else if (c == '/') { + while ((c = input()) && c != '\n') + ; + break; } unput(c); c = '/'; |