commit db819a497fde9029d2e10769ba5312170b97a89f (patch)
parent b77cd6ef9ebcff9180786c59ec2e40974551447b
Author: Alex Karle <alex@karle.co>
Date: Fri, 15 May 2020 00:27:49 -0400
make: Add FORCE option to the release target
Now `make FORCE=1 release` will restart the server even if there are
players. Use with caution, but certainly important to have if there is a
resource leak (see previous commit) that prevents players from being
cleaned up!
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -33,7 +33,7 @@ build: .public.ts $(LIB_FILES) gloat.pl
.PHONY: release
release: build test
scp -r build/* www@euchre.live:/var/www/euchre-live
- ssh www@euchre.live sh /var/www/deploy.sh
+ ssh www@euchre.live env FORCE=$(FORCE) sh /var/www/deploy.sh
.PHONY: clean
clean:
