diff options
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/configure.py b/configure.py index d9a9cce86..22fea5d38 100755 --- a/configure.py +++ b/configure.py @@ -543,10 +543,12 @@ def lex_me_harder(infofile, allowed_groups, name_val_pairs): out.__dict__[key] = val def lexed_tokens(): # Convert to an interator - token = lexer.get_token() - while token != None: - yield token + while True: token = lexer.get_token() + if token != lexer.eof: + yield token + else: + return for token in lexed_tokens(): match = re.match('<(.*)>', token) |