| Index: webkit/support/setup_third_party.py
|
| diff --git a/webkit/support/setup_third_party.py b/webkit/support/setup_third_party.py
|
| index f3cf719c5b8590eec9cc83a7bc2baad9201f0185..9d3dfee1e43018c9be39ae6d412dd3d9837f1853 100644
|
| --- a/webkit/support/setup_third_party.py
|
| +++ b/webkit/support/setup_third_party.py
|
| @@ -14,7 +14,8 @@ def GetHeaderFilesInDir(dir_path):
|
| """Return a list of all header files in dir_path."""
|
| all_files = []
|
| for root, dirs, files in os.walk(dir_path):
|
| - all_files.extend([os.path.join(root, f) for f in files if f.endswith('.h')])
|
| + all_files.extend([os.path.join(root, f).replace(os.sep, '/')
|
| + for f in files if f.endswith('.h')])
|
| return all_files
|
|
|
|
|
|
|