diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-02-07 21:10:22 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-02-07 21:10:22 +0100 |
commit | f8f7169d15f3a0bcf577f61933cd5918883f38f5 (patch) | |
tree | 49cfe853666e94cf2ad73370b876461658f8e5cc | |
parent | 24d71ab2153073253c4c8c412398e10a06ca83a2 (diff) | |
download | jenkins.debian.net-f8f7169d15f3a0bcf577f61933cd5918883f38f5.tar.xz |
reproducible Debian: detect another diskspace problem
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-x | bin/reproducible_build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index ff7173bf..1ebc786f 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -259,6 +259,7 @@ handle_ftbfs() { '^zip I/O error: No space left on device' \ '^mkdir .*: No space left on device' \ 'exceeds available storage space.*\(No space left on device\)$' \ + '^dpkg-source: error: cannot create directory .* 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 |