better top

[micro.git] / tools / pre-release.sh

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 \