summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2023-08-30 09:08:44 -0700
committerJunio C Hamano <gitster@pobox.com>2023-08-30 09:08:44 -0700
commit228acfa8915ef94654266b71f9aa8822b411bebd (patch)
tree88ad85f6702f0e61dc25844a67d29d4823aeb65a
parentd82fdc2e24a21168278717ca45d16dead9259165 (diff)
downloadgit-228acfa8915ef94654266b71f9aa8822b411bebd.tar.gz
add loop-rebuild script
-rwxr-xr-xloop-rebuild25
1 files changed, 25 insertions, 0 deletions
diff --git a/loop-rebuild b/loop-rebuild
new file mode 100755
index 0000000000..c2b94a1dcc
--- /dev/null
+++ b/loop-rebuild
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+ssleep () {
+ seconds=$1
+ now=$(date "+%s")
+ sleep $(( ((now + seconds + seconds / 4) / seconds) * seconds - now))
+}
+
+stamp () {
+ Meta/V 2>/dev/null | sha1sum
+}
+
+P=previous
+O=observed
+while :
+do
+ while O=$(stamp) && test "$P" = "$O"
+ do
+ ssleep 300
+ done
+ ssleep 30
+ time nice -20 Meta/Dothem -j16 --scratch --dash; uptime; date
+ P=$(stamp)
+ Meta/V
+done