summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorragge <ragge>2008-08-21 16:32:40 +0000
committerragge <ragge>2008-08-21 16:32:40 +0000
commit98ba884fe9f21d8e33c499bda83b5d22252d2b15 (patch)
tree43baf0585e3460c2ea6bc57cfa5744bf903ab2e5
parent0436aa8f1a8704855615bd2da09d1b31f5713240 (diff)
Accept // as comment in #if directives, as pointed out by Daniel Dickman.
-rw-r--r--scanner.l4
1 files changed, 4 insertions, 0 deletions
diff --git a/scanner.l b/scanner.l
index 75853fd..f3b0597 100644
--- a/scanner.l
+++ b/scanner.l
@@ -795,6 +795,10 @@ storepb(void)
getcmnt();
stringbuf = g;
continue;
+ } else if (c == '/') {
+ while ((c = input()) && c != '\n')
+ ;
+ break;
}
unput(c);
c = '/';