From d18864e60736d0782773898dd44e784d3d2249d3 Mon Sep 17 00:00:00 2001 From: Zachary Yedidia Date: Tue, 31 Dec 2019 16:23:37 -0500 Subject: [PATCH] Add linux static binary to release scripts --- tools/nightly-release.sh | 8 ++++++++ tools/pre-release.sh | 8 ++++++++ tools/release.sh | 8 ++++++++ 3 files changed, 24 insertions(+) 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 \