Index: src/trusted/validator_arm/dgen_input.py |
diff --git a/src/trusted/validator_arm/dgen_input.py b/src/trusted/validator_arm/dgen_input.py |
index 3e9606be3a7b9daa6d1e68028be488fae55cf163..dc2524e68602bff1484a5a8777d2e5cab115a699 100644 |
--- a/src/trusted/validator_arm/dgen_input.py |
+++ b/src/trusted/validator_arm/dgen_input.py |
@@ -1,9 +1,9 @@ |
#!/usr/bin/python |
# |
-# Copyright 2009 The Native Client Authors. All rights reserved. |
+# Copyright 2011 The Native Client Authors. All rights reserved. |
# Use of this source code is governed by a BSD-style license that can |
# be found in the LICENSE file. |
-# Copyright 2009, Google Inc. |
+# Copyright 2011, Google Inc. |
# |
""" |
@@ -118,7 +118,10 @@ def next_line(): |
_line_no += 1 |
_line = _in.readline() |
if _line: |
+ old_line = _line.strip() |
_line = re.sub(r'#.*', '', _line).strip() |
+ if (old_line != _line) and (len(_line) == 0): # If we ate it all |
+ next_line() # Get another one to allow line comments. |
else: |
_line = None |