Chromium Code Reviews| Index: webkit/build/webkit_version.py |
| diff --git a/webkit/build/webkit_version.py b/webkit/build/webkit_version.py |
| index c365b1875ddd7d48d95e8c84270e11fab4f76147..2aeba1d675dd37dc5d1b351d7e9fd71a3068d317 100755 |
| --- a/webkit/build/webkit_version.py |
| +++ b/webkit/build/webkit_version.py |
| @@ -60,7 +60,9 @@ def GetWebKitRevision(webkit_dir, version_file): |
| default_lastchange=None, |
| directory=os.path.join(webkit_dir, version_file_dir)) |
| - if (version_info.url.startswith(version_info.root) and |
| + if (version_info.url and |
| + version_info.root and |
| + version_info.url.startswith(version_info.root) and |
|
Mark Mentovai
2011/07/19 15:44:32
What I meant was that you’ve changed the contents
|
| version_info.url.endswith(version_file_dir)): |
| # Now compute the real WebKit URL by stripping off the version file |
| # directory from the URL we get out of version_info. |
| @@ -73,6 +75,9 @@ def GetWebKitRevision(webkit_dir, version_file): |
| # Just dump the output directly. |
| webkit_url = version_info.url |
| + if version_info.revision == None: |
| + version_info.revision = '0' |
| + |
| return "%s@%s" % (webkit_url, version_info.revision) |
| @@ -107,5 +112,3 @@ def main(): |
| if __name__ == "__main__": |
| main() |
| - |
| - |