| Index: runtime/bin/vmservice/client/build.sh
|
| diff --git a/runtime/bin/vmservice/client/build.sh b/runtime/bin/vmservice/client/build.sh
|
| new file mode 100755
|
| index 0000000000000000000000000000000000000000..2084b46d0be7fd89439736dffc2783d04d9fa5dc
|
| --- /dev/null
|
| +++ b/runtime/bin/vmservice/client/build.sh
|
| @@ -0,0 +1,26 @@
|
| +#!/bin/sh
|
| +
|
| +# This script copies the build outputs produced by `pub build` to
|
| +# the deployed directory.
|
| +
|
| +if [ ! -d "deployed" ]; then
|
| + echo "Run this script from the client directory"
|
| + exit
|
| +fi
|
| +
|
| +# Fixup polymer breakage
|
| +pushd lib/src
|
| +find . -name "*.html" -exec ../../dotdot.sh {} \;
|
| +popd
|
| +
|
| +# Build JS
|
| +pub build
|
| +
|
| +# Undo polymer breakage fix
|
| +pushd lib/src
|
| +find . -name "*.html" -exec ../../notdotdot.sh {} \;
|
| +popd
|
| +
|
| +# Deploy
|
| +./deploy.sh
|
| +
|
|
|