chiark
/
gitweb
/
~ianmdlvl
/
dgit-junk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
found git-diff-timings
[dgit-junk.git]
/
runes
diff --git
a/runes
b/runes
index ae5d9c918abfc2c83737320ae4ffaaaf78b3a6d3..9714f2e039cf10290342d1a19f18fcc9fc7deb48 100644
(file)
--- a/
runes
+++ b/
runes
@@
-1,3
+1,5
@@
rm -f adt.log; adt-run -ladt.log --summary=adt.summary -q dgit_3.10~.dsc --- adt-virt-schroot build; echo $?
rm -f adt.log; adt-run -ladt.log --summary=adt.summary -q dgit_3.10~.dsc --- adt-virt-schroot build; echo $?
-git-fetch -p main && ../play/pretest-to-tested
+git-fetch -p main && DGIT_TEST_RETRY_COUNT=3 nice ../play/pretest-to-tested
+
+watch ps -Hftpts/27