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/ |