From d1527470d38cfbd439c4da83c73ef68b02e9de9a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Sat, 13 Apr 2024 12:37:41 +0200
Subject: Use new synapse host

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d9c1892..d4b4154 100644
--- a/Makefile
+++ b/Makefile
@@ -66,6 +66,7 @@ ssh:
 ssh-zoldene-decrypt:
 	$(MAKE) ssh-decrypt TARGET=$(@:ssh-%-decrypt=%)
 ssh-decrypt:
+	until ping -c1 $(TARGET); do :; done
 	./scripts/with_env bash -c 'ssh -p 2222 -i $$SSH_IDENTITY_FILE root@$(TARGET) $(SSH_ARGS)'
 
 .PHONY: debug $(addprefix debug-,$(nodes))
-- 
cgit v1.2.3