| Index: runtime/bin/vmservice/client/build.sh
|
| diff --git a/runtime/bin/vmservice/client/build.sh b/runtime/bin/vmservice/client/build.sh
|
| deleted file mode 100755
|
| index 2084b46d0be7fd89439736dffc2783d04d9fa5dc..0000000000000000000000000000000000000000
|
| --- a/runtime/bin/vmservice/client/build.sh
|
| +++ /dev/null
|
| @@ -1,26 +0,0 @@
|
| -#!/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
|
| -
|
|
|