use ping from iputils

This commit is contained in:
Charlotte 🦝 Delenk 2022-04-30 10:02:54 +01:00
parent 791ece0391
commit 578111424f
Signed by: darkkirb
GPG key ID: AB2BD8DAF2E37122

View file

@ -93,7 +93,7 @@ in
};
script = ''
rm -f /run/hydra-machines
if ping -c 1 nutty-noon.int.chir.rs; then
if ${pkgs.iputils}/bin/ping -c 1 nutty-noon.int.chir.rs; then
echo "build-pc armv7l-linux,aarch64-linux,powerpc-linux,powerpc64-linux,powerpc64le-linux,riscv32-linux,riscv64-linux,wasm32-wasi,x86_64-linux,i686-linux - 16 2 kvm,nixos-test,big-parallel,benchmark,gccarch-znver2,gccarch-znver1,gccarch-skylake,ca-derivations -" > /run/hydra-machines
fi
'';