diff options
Diffstat (limited to 'scripts/publish.sh')
| -rwxr-xr-x | scripts/publish.sh | 3 |
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} | |||
| 27 | publish() { | 27 | publish() { |
| 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 | |||
| 51 | publish i686-unknown-linux-gnu client linux i686 | 51 | publish i686-unknown-linux-gnu client linux i686 |
| 52 | publish x86_64-pc-windows-gnu client windows x86_64 | 52 | publish x86_64-pc-windows-gnu client windows x86_64 |
| 53 | publish x86_64-unknown-linux-gnu server linux x86_64 | 53 | publish x86_64-unknown-linux-gnu server linux x86_64 |
| 54 | publish x86_64-pc-windows-gnu server windows x86_64 | ||
| 54 | 55 | ||
| 55 | echo | 56 | echo |
| 56 | echo "published $VERSION to $DEST" | 57 | echo "published $VERSION to $DEST" |
