summaryrefslogtreecommitdiffstats
path: root/scripts/publish.sh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xscripts/publish.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/publish.sh b/scripts/publish.sh
index d8cc77a..8240859 100755
--- a/scripts/publish.sh
+++ b/scripts/publish.sh
@@ -27,7 +27,7 @@ DEST=${DEST:-web/bin}
27publish() { 27publish() {
28 local triple=$1 kind=$2 platform=$3 arch=$4 28 local triple=$1 kind=$2 platform=$3 arch=$4
29 local ext="" 29 local ext=""
30 if [ "$kind" = client ] && [ "$platform" = windows ]; then 30 if [ "$platform" = windows ]; then
31 ext=".exe" 31 ext=".exe"
32 fi 32 fi
33 33
@@ -51,6 +51,7 @@ publish x86_64-unknown-linux-gnu client linux x86_64
51publish i686-unknown-linux-gnu client linux i686 51publish i686-unknown-linux-gnu client linux i686
52publish x86_64-pc-windows-gnu client windows x86_64 52publish x86_64-pc-windows-gnu client windows x86_64
53publish x86_64-unknown-linux-gnu server linux x86_64 53publish x86_64-unknown-linux-gnu server linux x86_64
54publish x86_64-pc-windows-gnu server windows x86_64
54 55
55echo 56echo
56echo "published $VERSION to $DEST" 57echo "published $VERSION to $DEST"