From 26d008150fe10585cbe9a5f819031095fa7d7e9f Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Tue, 24 Nov 2020 20:19:37 +0100 Subject: [PATCH] fixup! --- frontend/tools/deploy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/tools/deploy b/frontend/tools/deploy index dec7458..47b32bb 100755 --- a/frontend/tools/deploy +++ b/frontend/tools/deploy @@ -99,7 +99,7 @@ ssh -t $REMOTE_LOGIN " fi } trap install_unlock SIGINT SIGHUP EXIT - if [ -d src ] ; then + if [ -d kurz-src ] ; then echo '## Updating from repository' ( cd kurz-src && git fetch ) else