On Fri, Dec 07, 2012 at 10:31:57AM -0500, Diego Novillo wrote:
On Thu, Dec 6, 2012 at 1:12 PM, Bernhard Reutner-Fischer
rep.dot@gmail.com wrote:
def IsComment(line):
Return True if line is a comment.
- return line.startswith('#')
+ return bool(re.matches(#, line))
startswith() is a
On Thu, Dec 13, 2012 at 10:12 AM, Bernhard Reutner-Fischer
rep.dot@gmail.com wrote:
On Fri, Dec 07, 2012 at 10:31:57AM -0500, Diego Novillo wrote:
On Thu, Dec 6, 2012 at 1:12 PM, Bernhard Reutner-Fischer
rep.dot@gmail.com wrote:
@@ -210,12 +211,12 @@ def IsInterestingResult(line):
On Fri, Dec 07, 2012 at 10:31:57AM -0500, Diego Novillo wrote:
On Thu, Dec 6, 2012 at 1:12 PM, Bernhard Reutner-Fischer
rep.dot@gmail.com wrote:
@@ -210,12 +211,12 @@ def IsInterestingResult(line):
if '|' in line:
(_, line) = line.split('|', 1)
line = line.strip()
- return
On Thu, Dec 6, 2012 at 1:12 PM, Bernhard Reutner-Fischer
rep.dot@gmail.com wrote:
def IsComment(line):
Return True if line is a comment.
- return line.startswith('#')
+ return bool(re.matches(#, line))
startswith() is a better match here.
def IsInclude(line):
Return True if