| 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
|
|
|
|
|