| Index: pkg/shadow_dom/tool/build.sh
|
| diff --git a/pkg/shadow_dom/tool/build.sh b/pkg/shadow_dom/tool/build.sh
|
| index 10cd859453c77bc08a2b1c630945bc8f89f9f320..f10e8c22b468859b347df1b5336abfb6055548a4 100755
|
| --- a/pkg/shadow_dom/tool/build.sh
|
| +++ b/pkg/shadow_dom/tool/build.sh
|
| @@ -18,7 +18,7 @@ POLYMER_DIR=../../../third_party/polymer
|
|
|
| NEWLINE=$'\n'
|
| REVISIONS=""
|
| -for NAME in ShadowDOM observe-js WeakMap platform; do
|
| +for NAME in ShadowDOM observe-js WeakMap platform-dev; do
|
| GIT_REMOTE="$POLYMER_REMOTE/$NAME.git"
|
| GIT_DIR="$POLYMER_DIR/$NAME"
|
| echo "*** Syncing $GIT_DIR from $GIT_REMOTE"
|
|
|