diff --git a/tools/nightly-release.sh b/tools/nightly-release.sh index ad0acbd2..d1eb0132 100755 --- 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 e26b09e2..9f42f57c 100755 --- 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 853279b5..f806c565 100755 --- 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 \