| Index: tools/lexer_generator/run_lexing_tests.py
|
| diff --git a/tools/lexer_generator/run_lexing_tests.py b/tools/lexer_generator/run_lexing_tests.py
|
| index 0ef6bb9ee0a84e47a71f7114f7dfb4e43ac9caa9..2dc5ccaf692125f075b31e2314cc2af00bde69ed 100644
|
| --- a/tools/lexer_generator/run_lexing_tests.py
|
| +++ b/tools/lexer_generator/run_lexing_tests.py
|
| @@ -46,7 +46,7 @@ if __name__ == '__main__':
|
| file_file = sys.argv[2]
|
| process_count = int(sys.argv[3])
|
| with open(file_file, 'r') as f:
|
| - test_files = f.read().split('\n')
|
| + test_files = [filename for filename in f.read().split('\n') if filename]
|
|
|
| with open('/dev/null', 'w') as dev_null:
|
| processes = []
|
|
|