| Index: webkit/build/webkit_version.py
|
| diff --git a/webkit/build/webkit_version.py b/webkit/build/webkit_version.py
|
| index 7fdf9b32e6ee13850c57b7ea6f5a62f952333ad1..0eeeb5eaa171dee7b7e13c949258b5fbfe18ef85 100755
|
| --- a/webkit/build/webkit_version.py
|
| +++ b/webkit/build/webkit_version.py
|
| @@ -1,4 +1,4 @@
|
| -#!/usr/bin/python
|
| +#!/usr/bin/env python
|
| # Copyright (c) 2011 The Chromium Authors. All rights reserved.
|
| # Use of this source code is governed by a BSD-style license that can be
|
| # found in the LICENSE file.
|
| @@ -49,6 +49,7 @@ def ReadVersionFile(fname):
|
| assert(major >= 0 and minor >= 0)
|
| return (major, minor)
|
|
|
| +
|
| def GetWebKitRevision(webkit_dir, version_file):
|
| """Get the WebKit revision, in the form 'trunk@1234'."""
|
|
|
| @@ -95,10 +96,12 @@ def EmitVersionHeader(webkit_dir, version_file, output_dir):
|
| """ % (version_file, major, minor, webkit_revision)
|
| f.write(template)
|
| f.close()
|
| + return 0
|
| +
|
|
|
| def main():
|
| - EmitVersionHeader(*sys.argv[1:])
|
| + return EmitVersionHeader(*sys.argv[1:])
|
|
|
|
|
| if __name__ == "__main__":
|
| - main()
|
| + sys.exit(main())
|
|
|