projects / oweals / gnunet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c058ee4)
repeat
authorChristian Grothoff <christian@grothoff.org>
Thu, 16 Jul 2009 22:31:33 +0000 (22:31 +0000)
committerChristian Grothoff <christian@grothoff.org>
Thu, 16 Jul 2009 22:31:33 +0000 (22:31 +0000)
contrib/repeat.sh [new file with mode: 0755] patch | blob

diff --git a/contrib/repeat.sh b/contrib/repeat.sh
new file mode 100755 (executable)
index 0000000..3efc95f
--- /dev/null
+++ b/contrib/repeat.sh
@@ -0,0 +1 @@
+while true; do rm -rf /tmp/test-gnunetd-*; make check || break; done
Unnamed repository; edit this file 'description' to name the repository.