diff options
| author | Iain Merrick <husky@google.com> | 2010-08-19 17:55:56 +0100 |
|---|---|---|
| committer | Iain Merrick <husky@google.com> | 2010-08-23 11:05:40 +0100 |
| commit | f486d19d62f1bc33246748b14b14a9dfa617b57f (patch) | |
| tree | 195485454c93125455a30e553a73981c3816144d /WebKitTools/Scripts/webkit-patch | |
| parent | 6ba0b43722d16bc295606bec39f396f596e4fef1 (diff) | |
| download | external_webkit-f486d19d62f1bc33246748b14b14a9dfa617b57f.zip external_webkit-f486d19d62f1bc33246748b14b14a9dfa617b57f.tar.gz external_webkit-f486d19d62f1bc33246748b14b14a9dfa617b57f.tar.bz2 | |
Merge WebKit at r65615 : Initial merge by git.
Change-Id: Ifbf384f4531e3b58475a662e38195c2d9152ae79
Diffstat (limited to 'WebKitTools/Scripts/webkit-patch')
| -rwxr-xr-x | WebKitTools/Scripts/webkit-patch | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/WebKitTools/Scripts/webkit-patch b/WebKitTools/Scripts/webkit-patch index 8300b9f..007f919 100755 --- a/WebKitTools/Scripts/webkit-patch +++ b/WebKitTools/Scripts/webkit-patch @@ -38,6 +38,7 @@ import sys from webkitpy.common.system.logutils import configure_logging import webkitpy.python24.versioning as versioning +_log = logging.getLogger("webkit-patch") def main(): # This is a hack to let us enable DEBUG logging as early as possible. @@ -50,6 +51,11 @@ def main(): configure_logging(logging_level=logging_level) versioning.check_version() + + if sys.platform == "win32": + _log.fatal("webkit-patch is only supported under Cygwin Python, " + "not Win32 Python") + sys.exit(1) # Import webkit-patch code only after version-checking so that # script doesn't error out before having a chance to report the |