]> git.ipfire.org Git - thirdparty/git.git/commitdiff
loop-rebuild: avoid polling (experiment)
authorJunio C Hamano <gitster@pobox.com>
Thu, 20 Nov 2025 22:14:14 +0000 (14:14 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 20 Nov 2025 22:14:14 +0000 (14:14 -0800)
loop-rebuild

index 49886c1578c20b03ca9fadf9c352233d74c77266..6e2d0888fa4ef58a5d1055d9ae7db7d12c570e24 100755 (executable)
@@ -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")