Use new synapse host

[perso/Immae/Config/Nix.git] / Makefile

diff --git a/Makefile b/Makefile
index d9c1892735ac6bd5ff7831b2297454b4a6361e90..d4b41540bb297597492498ce77dab2b7d4af224f 100644 (file)
--- 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))