Index: Source/build/scripts/in_file.py |
diff --git a/Source/build/scripts/in_file.py b/Source/build/scripts/in_file.py |
index b33969ecc44b93207b27a07108b5ce59e3a6c5f6..c7bd77ead9244369e6caa1586d8ce4c0edea7d42 100644 |
--- a/Source/build/scripts/in_file.py |
+++ b/Source/build/scripts/in_file.py |
@@ -132,6 +132,7 @@ class InFile(object): |
def _parse_line(self, line): |
args = copy.deepcopy(self._defaults) |
+ line = line.split('//')[0] # remove comments |
haraken
2014/11/24 09:38:49
I'm not sure but we might want to use '#' instead
philipj_slow
2014/11/24 10:44:59
Also, isn't there already some code for handling /
|
parts = line.split(' ') |
args['name'] = parts[0] |
# re-join the rest of the line and split on ',' |