get-webkit_revision.patch

   1 --- chromium-browser-10.0.647.0~svn20110123r72286/src/webkit/build/webkit_version.py.orig       2011-01-22 04:01:31.000000000 +0100
   2 +++ chromium-browser-10.0.647.0~svn20110123r72286/src/webkit/build/webkit_version.py    2011-01-23 21:01:47.000000000 +0100
   3 @@ -64,6 +64,18 @@
   4    return "%s@%s" % (webkit_url, version_info.revision)
   5
   6
   7 +def GetWebKitRevisionFromDEPS():
   8 +  result = "trunk"
   9 +  f = open('../../DEPS', 'rb')
  10 +  try:
  11 +    m = re.search(r'webkit_revision":\s*"(\d+?)"', ''.join(f.readlines()), re.MULTILINE)
  12 +    if m:
  13 +      result = "trunk@%s" % (m.group(1))
  14 +  finally:
  15 +    f.close()
  16 +  return result
  17 +
  18 +
  19  def EmitVersionHeader(webkit_dir, version_file, output_dir):
  20    '''Given webkit's version file, emit a header file that we can use from
  21    within webkit_glue.cc.
  22 @@ -75,7 +87,7 @@
  23
  24    major, minor = ReadVersionFile(os.path.join(webkit_dir, version_file))
  25
  26 -  webkit_revision = GetWebKitRevision(webkit_dir, version_file)
  27 +  webkit_revision = GetWebKitRevisionFromDEPS()
  28
  29    fname = os.path.join(output_dir, "webkit_version.h")
  30    f = open(fname, 'wb')