Add update.properties file to com.google.dart.tools.core_*.jar file

dart/editor/build/build.py

 #!/usr/bin/env python
 #
 # Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 import glob
 import gsutil
 import imp
 import optparse
@@ skipping 192 matching lines @@
       args.append('-Dbuild.running.headless=true')
     if sdk_zip:
       args.append('-Dbuild.dart.sdk.zip={0}'.format(sdk_zip))
     if extra_artifacts:
       args.append('-Dbuild.extra.artifacts={0}'.format(extra_artifacts))
     if is_windows:
       args.append('-autoproxy')
     if extra_args:
       args.extend(extra_args)
     args.append('-Dbuild.local.build=false')
+    args.append('-Dbuild.channel=' + CHANNEL)
 
     extra_args = os.environ.get('ANT_EXTRA_ARGS')
     if extra_args is not None:
       parsed_extra = extra_args.split()
       for arg in parsed_extra:
         args.append(arg)
 
     print ' '.join(args)
     status = subprocess.call(args, shell=is_windows)
     os.chdir(cwd)
@@ skipping 1023 matching lines @@
 def FileDelete(f):
   """delete the given file - do not re-throw any exceptions that occur"""
   if os.path.exists(f):
     try:
       os.remove(f)
     except OSError:
       print 'error deleting %s' % f
 
 if __name__ == '__main__':
   sys.exit(main())