Added a script to build debian packages (#563)

[micro.git] / tools / release.sh

diff --git a/tools/release.sh b/tools/release.sh
index 81733923646a3501b0dd644a781b2f01d4c6d5ac..93a87a6097be482ae42ec3522b1314f4f92aa4ef 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -115,3 +115,19 @@ github-release upload \
     --name "micro-$1-win32.zip" \
     --file binaries/micro-$1-win32.zip
 
+echo "Uploading vendored tarball"
+github-release upload \
+    --user zyedidia \
+    --repo micro \
+    --tag $tag \
+    --name "micro-$1-src.tar.gz" \
+    --file binaries/micro-$1-src.tar.gz
+
+echo "Uploading vendored zip"
+
+github-release upload \
+    --user zyedidia \
+    --repo micro \
+    --tag $tag \
+    --name "micro-$1-src.zip" \
+    --file binaries/micro-$1-src.zip