| Index: extension/build.sh
|
| diff --git a/extension/build.sh b/extension/build.sh
|
| new file mode 100755
|
| index 0000000000000000000000000000000000000000..762ac42f0bc956291cda6ff9179d53b602ebde56
|
| --- /dev/null
|
| +++ b/extension/build.sh
|
| @@ -0,0 +1,17 @@
|
| +#!/bin/bash
|
| +# Extensions can't handle symlinks so we have to copy files to make everything
|
| +# work.
|
| +# TODO(jacobr): use "pub deploy" in the future instead of performing a copy.
|
| +
|
| +# Run from the script's directory
|
| +cd $( dirname "${BASH_SOURCE[0]}" )
|
| +# Bail on non-zero error code
|
| +set -e
|
| +
|
| +# Remove old output, if
|
| +rm -r output || true
|
| +mkdir output
|
| +cp -r ../packages output/
|
| +cp -r ../bin output/
|
| +cp -r ../lib output/
|
| +cp *.html *.js *.json output/
|
|
|