From 79588a8bba1648ea4d396a1d1e9884af54e497e2 Mon Sep 17 00:00:00 2001 From: salmonik Date: Fri, 30 Oct 2026 00:40:10 +0100 Subject: add deploy script with live verification; cache file hashes by size and mtime --- scripts/publish.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'scripts/publish.sh') 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" -- cgit v1.2.3