mirror of
https://github.com/git/git.git
synced 2026-01-23 23:37:20 +09:00
2b90714f51
As I usually build in the primary environment with dash, let's build with bash on the other box.
26 lines
348 B
Bash
Executable File
26 lines
348 B
Bash
Executable File
#!/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 -j32; uptime; date
|
|
P=$(stamp)
|
|
Meta/V
|
|
done
|