From 2ddab37c8b157df8b88bbb7efeb635a6bce4d396 Mon Sep 17 00:00:00 2001
From: Tobe O <thosakwe@gmail.com>
Date: Sat, 15 Feb 2020 18:18:39 -0500
Subject: [PATCH] modify subproject script

---
 tool/pull_subproject | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/tool/pull_subproject b/tool/pull_subproject
index 0b0bbf55..652f324d 100755
--- a/tool/pull_subproject
+++ b/tool/pull_subproject
@@ -2,10 +2,14 @@
 #
 # Simple tool script that pulls an angel-dart/<name> project into ./packages/<name>.
 
-if [ "$1" == "" ]; then
-  echo "usage: pull_subproject <name>"
+if [ "$#" == "0" ]; then
+  echo "usage: pull_subproject <names...>"
   exit 1
 fi
 
 set -ex
-git subtree add prefix="./packages/$1" "https://github.com/angel-dart/$1.git" master
+shift
+
+for project in "$#"; do
+  git subtree add prefix="./packages/$project" "https://github.com/angel-dart/$project.git" master
+done