add deploy script with live verification; cache file hashes by size and mtime

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}
 publish() {
   local triple=$1 kind=$2 platform=$3 arch=$4
   local ext=""
-  if [ "$kind" = client ] && [ "$platform" = windows ]; then
+  if [ "$platform" = windows ]; then
     ext=".exe"
   fi
 
@@ -51,6 +51,7 @@ publish x86_64-unknown-linux-gnu client linux x86_64
 publish i686-unknown-linux-gnu   client linux i686
 publish x86_64-pc-windows-gnu    client windows x86_64
 publish x86_64-unknown-linux-gnu server linux x86_64
+publish x86_64-pc-windows-gnu    server windows x86_64
 
 echo
 echo "published $VERSION to $DEST"