From 1889ea5dae621980f611b196e3f574c11c2ac881 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Thu, 16 Jul 2009 22:31:33 +0000 Subject: repeat --- contrib/repeat.sh | 1 + 1 file changed, 1 insertion(+) create mode 100755 contrib/repeat.sh (limited to 'contrib') diff --git a/contrib/repeat.sh b/contrib/repeat.sh new file mode 100755 index 000000000..3efc95f07 --- /dev/null +++ b/contrib/repeat.sh @@ -0,0 +1 @@ +while true; do rm -rf /tmp/test-gnunetd-*; make check || break; done -- cgit v1.2.3