| Index: runtime/bin/vmservice/client/precommit.sh
|
| diff --git a/runtime/bin/vmservice/client/precommit.sh b/runtime/bin/vmservice/client/precommit.sh
|
| index 3ce83cda86a627ff0a077c25f1ee1f3f3edc1f7a..b923d9f5eb0534e3622287babbb3fffc1aa81e3f 100755
|
| --- a/runtime/bin/vmservice/client/precommit.sh
|
| +++ b/runtime/bin/vmservice/client/precommit.sh
|
| @@ -14,6 +14,7 @@ SHADOW_DOM="packages/shadow_dom/shadow_dom.debug.js"
|
| CUSTOM_ELEMENTS="packages/custom_element/custom-elements.debug.js"
|
| INTEROP="packages/browser/interop.js"
|
| OBSERVATORY="index.html_bootstrap.dart.precompiled.js"
|
| +OBSERVATORY_DEVTOOLS="index_devtools.html_bootstrap.dart.precompiled.js"
|
|
|
| # Base directory
|
| BASE="out/web"
|
| @@ -29,3 +30,9 @@ OUTPUT="$DEPLOYED/index.html_bootstrap.dart.js"
|
| # Rolling
|
| cat $INPUT > $OUTPUT
|
| cp $BASE/index.html $DEPLOYED/index.html
|
| +
|
| +INPUT_DEVTOOLS="$INPUT $BASE/$OBSERVATORY_DEVTOOLS"
|
| +OUTPUT_DEVTOOLS="$DEPLOYED/index_devtools.html_bootstrap.dart.js"
|
| +
|
| +cat $INPUT_DEVTOOLS > $OUTPUT_DEVTOOLS
|
| +cp $BASE/index_devtools.html $DEPLOYED/index_devtools.html
|
|
|