From 24d71ab2153073253c4c8c412398e10a06ca83a2 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Tue, 7 Feb 2017 21:04:28 +0100 Subject: reproducible Debian: make needles more visible Signed-off-by: Holger Levsen --- bin/reproducible_build.sh | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'bin') diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 50d2934b..ff7173bf 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -250,7 +250,16 @@ handle_ftbfs() { handle_depwait return fi - for NEEDLE in '^tar:.*Cannot write: No space left on device' 'fatal error: error writing to .* No space left on device' './configure: line .* printf: write error: No space left on device' 'cat: write error: No space left on device' '^dpkg-deb.*No space left on device' '^cp: (erreur|impossible).*No space left on device' '^tee: .* No space left on device' '^zip I/O error: No space left on device' '^mkdir .*: No space left on device' 'exceeds available storage space.*\(No space left on device\)$'; do + for NEEDLE in \ + '^tar:.*Cannot write: No space left on device' \ + 'fatal error: error writing to .* No space left on device' \ + './configure: line .* printf: write error: No space left on device' \ + 'cat: write error: No space left on device' '^dpkg-deb.*No space left on device' \ + '^cp: (erreur|impossible).*No space left on device' '^tee: .* No space left on device' \ + '^zip I/O error: No space left on device' \ + '^mkdir .*: No space left on device' \ + 'exceeds available storage space.*\(No space left on device\)$' \ + ; do if zgrep -e "$NEEDLE" "$DEBIAN_BASE/logs/$SUITE/$ARCH/${SRCPACKAGE}_${EVERSION}.build${BUILD}.log.gz" ; then handle_enospace $node return -- cgit v1.2.3-70-g09d2