diff options
author | 2012-06-06 23:23:22 -0700 | |
---|---|---|
committer | 2012-06-06 23:23:22 -0700 | |
commit | b65c9244ff8999fd62aecd86494886c61a50a60c (patch) | |
tree | 728e0ad3ce0e3d1bb25b69b579c699846dfd40e0 /tools/generate-operator-out.py | |
parent | d24e264ff85ad8c6f142ac6d33055fdc1881fa2f (diff) | |
parent | a91bc63a27a0201f58ced75ff85dcfe6a3d358c6 (diff) |
Merge "Make generate-operator-out.py only skip // line comments" into ics-mr1-plus-art
Diffstat (limited to 'tools/generate-operator-out.py')
-rwxr-xr-x | tools/generate-operator-out.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/generate-operator-out.py b/tools/generate-operator-out.py index 23d6d3ec57..88753b55fb 100755 --- a/tools/generate-operator-out.py +++ b/tools/generate-operator-out.py @@ -104,7 +104,7 @@ def ProcessFile(filename): continue # Strip // comments. - line = re.sub(r'//.*', '', raw_line) + line = re.sub(r'^ *//.*', '', raw_line) # Strip whitespace. line = line.strip() |