mirror of
https://github.com/git/git.git
synced 2026-08-12 12:15:32 +00:00
loop-rebuild: no point rebuilding everything from scratch
This commit is contained in:
@@ -19,7 +19,7 @@ do
|
||||
ssleep 300
|
||||
done
|
||||
ssleep 30
|
||||
time nice -20 Meta/Dothem -j16 --scratch --dash; uptime; date
|
||||
time nice -20 Meta/Dothem -j16 --dash; uptime; date
|
||||
P=$(stamp)
|
||||
Meta/V
|
||||
done
|
||||
|
||||
Reference in New Issue
Block a user