diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-11-06 10:40:15 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-11-06 10:40:15 +0900 |
commit | f5b1d53d7437aabceb562151e9639d4d8eca1ddc (patch) | |
tree | 9e0453d163e2b2184bd691581e81e4ec13865f50 | |
parent | 13ede096388fc09c1872e85da18398c901379d17 (diff) | |
download | git-f5b1d53d7437aabceb562151e9639d4d8eca1ddc.tar.gz |
loop-rebuild: no point rebuilding everything from scratch
-rwxr-xr-x | loop-rebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/loop-rebuild b/loop-rebuild index c2b94a1dcc..07059efa34 100755 --- a/loop-rebuild +++ b/loop-rebuild @@ -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 |