Merge more Kernel infrastructure from kernel_sdk SDK fork.

tools/run_pub_get.py

Index: tools/run_pub_get.py
diff --git a/tools/run_pub_get.py b/tools/run_pub_get.py
new file mode 100644
index 0000000000000000000000000000000000000000..7bf160057e0b920f9102ead9f32326bb9c1a14e0
--- /dev/null
+++ b/tools/run_pub_get.py
@@ -0,0 +1,28 @@
+#!/usr/bin/env python
+# Copyright (c) 2011, 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 os
+import subprocess
+import sys
+import utils
+
+def die(msg):
+  print msg
+  sys.exit(1)
+
+def main():
+  if len(sys.argv) != 2:
+    die("Usage: %s <directory>" % sys.argv[0])
+
+  directory = os.path.abspath(sys.argv[1])
+
+  if not os.path.isdir(directory):
+    die("Directory '%s' does not exist!" % directory)
+
+  pub = os.path.join(utils.CheckedInSdkPath(), 'bin', 'pub')
+  subprocess.check_call([pub, 'get'], cwd=directory);
+
+if __name__ == '__main__':
+  main()