disconnect peer if no address is available after deletion
[oweals/gnunet.git] / contrib / repeat.sh
1 while true; do rm -rf /tmp/test-gnunetd-*; make check || break; done