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/ project into ./packages/. -if [ "$1" == "" ]; then - echo "usage: pull_subproject " +if [ "$#" == "0" ]; then + echo "usage: pull_subproject " 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