chiark / gitweb /
runes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 20 Jun 2018 15:48:49 +0000 (16:48 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 20 Jun 2018 15:48:49 +0000 (16:48 +0100)
runes

diff --git a/runes b/runes
index ae5d9c918abfc2c83737320ae4ffaaaf78b3a6d3..f14041cdaa468c734a6ec85f6ee107c5f461836c 100644 (file)
--- a/runes
+++ b/runes
@@ -1,3 +1,3 @@
 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