[lib/Fuzzer] A simple script to synchronise a fuzz test corpus with an external git...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@237208 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Fuzzer/pull_and_push_fuzz_corpus.sh b/lib/Fuzzer/pull_and_push_fuzz_corpus.sh
new file mode 100755 (executable)
index 0000000..6c67cf0
--- /dev/null
+++ b/lib/Fuzzer/pull_and_push_fuzz_corpus.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+# A simple script to synchronise a fuzz test corpus
+# with an external git repository.
+# Usage:
+#   pull_and_push_fuzz_corpus.sh DIR
+# It assumes that DIR is inside a git repo and push
+# can be done w/o typing a password.
+cd $1
+git add *
+git commit -m "fuzz test corpus"
+git pull --no-edit
+for((attempt=0; attempt<100; attempt++)); do
+  echo GIT PUSH $1 ATTEMPT $attempt
+  if $(git push); then break; fi
+  git pull --no-edit
+done
+