mirror of
https://github.com/git/git.git
synced 2026-01-11 13:23:12 +09:00
loop-rebuild: avoid polling (experiment)
This commit is contained in:
parent
23c9d2bc9a
commit
c002d8d0e2
18
loop-rebuild
18
loop-rebuild
@ -1,5 +1,23 @@
|
||||
#!/bin/sh
|
||||
|
||||
R=:rendezvous
|
||||
if ! test -p "$R"
|
||||
then
|
||||
rm -f "$R"
|
||||
mkfifo "$R" || exit
|
||||
fi
|
||||
|
||||
export CC=clang
|
||||
|
||||
while cat "$R"
|
||||
do
|
||||
time nice -20 Meta/Dothem -j32 --meson CC="clang -O2" USE_ASCIIDOCTOR=
|
||||
uptime; date
|
||||
Meta/V
|
||||
done
|
||||
|
||||
exit
|
||||
|
||||
ssleep () {
|
||||
seconds=$1
|
||||
now=$(date "+%s")
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user