diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-12-18 10:04:02 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-12-18 10:21:06 +0100 |
| commit | f3fcde318c79972408372972ec705d8584e07102 (patch) | |
| tree | 3fb48b1ab058b307dc31b0cb263c9f1d57061308 | |
| parent | 08ed6b2759f7dbb2caa3c817832bca8a2681461b (diff) | |
| download | jenkins.debian.net-f3fcde318c79972408372972ec705d8584e07102.tar.xz | |
reproducible Debian: handle another diskspace issue
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index f4046ff0..0fa21476 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -250,7 +250,7 @@ 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' ; 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 |