From db819a497fde9029d2e10769ba5312170b97a89f Mon Sep 17 00:00:00 2001 From: Alex Karle Date: Fri, 15 May 2020 00:27:49 -0400 Subject: [PATCH] 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! --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d427c1a..0e936c5 100644 --- 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: -- libgit2 1.1.1