-fixing misc issues in stream, including compilation errors on bots, but more
[oweals/gnunet.git] / contrib / repeat.sh
1 while true; do rm -rf /tmp/test-gnunetd-*; make check || break; done