Add linux static binary to release scripts

diff --git a/tools/nightly-release.sh b/tools/nightly-release.sh
index ad0acbd20dcb7970ebed2f69e8841559dd473f4e..d1eb0132e68062a86f82298a86af1ee9a4cb8342 100755 (executable)
--- a/tools/nightly-release.sh
+++ b/tools/nightly-release.sh
@@ -48,6 +48,14 @@ github-release upload \
     --name "micro-$1-linux64.tar.gz" \
     --file binaries/micro-$1-linux64.tar.gz
 
+echo "Uploading Linux 64 static binary"
+github-release upload \
+    --user zyedidia \
+    --repo micro \
+    --tag nightly \
+    --name "micro-$1-linux64-static.tar.gz" \
+    --file binaries/micro-$1-linux64-static.tar.gz
+
 echo "Uploading Linux 32 binary"
 github-release upload \
     --user zyedidia \

diff --git a/tools/pre-release.sh b/tools/pre-release.sh
index e26b09e24566b4cf3424146f3cc9613174cf6927..9f42f57cc9107564e20cf0d441505d4ebefbe829 100755 (executable)
--- a/tools/pre-release.sh
+++ b/tools/pre-release.sh
@@ -39,6 +39,14 @@ github-release upload \
     --name "micro-$1-linux64.tar.gz" \
     --file binaries/micro-$1-linux64.tar.gz
 
+echo "Uploading Linux 64 static binary"
+github-release upload \
+    --user zyedidia \
+    --repo micro \
+    --tag $tag \
+    --name "micro-$1-linux64-static.tar.gz" \
+    --file binaries/micro-$1-linux64-static.tar.gz
+
 echo "Uploading Linux 32 binary"
 github-release upload \
     --user zyedidia \

diff --git a/tools/release.sh b/tools/release.sh
index 853279b55cc0293de477fc52ea5fa9819c1dbfed..f806c565f3a3cb30754a36c3805a9aaa3a39c74f 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -38,6 +38,14 @@ github-release upload \
     --name "micro-$1-linux64.tar.gz" \
     --file binaries/micro-$1-linux64.tar.gz
 
+echo "Uploading Linux 64 static binary"
+github-release upload \
+    --user zyedidia \
+    --repo micro \
+    --tag $tag \
+    --name "micro-$1-linux64-static.tar.gz" \
+    --file binaries/micro-$1-linux64-static.tar.gz
+
 echo "Uploading Linux 32 binary"
 github-release upload \
     --user zyedidia \