diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-10-12 18:21:05 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-10-12 18:21:05 +0200 |
| commit | 21f7a3d6478a2e688730dcd70ec502e0275301b3 (patch) | |
| tree | 288d938c681d4a3918bc3c8008d6f0743e0689f6 /bin | |
| parent | a5491d7f7fd3b3cff9968859e0ffadb1150c9f45 (diff) | |
| download | jenkins.debian.net-21f7a3d6478a2e688730dcd70ec502e0275301b3.tar.xz | |
reproducible: add three new patterns to detect diskspace errors
Diffstat (limited to 'bin')
| -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 c72c0f79..c00b6ca5 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -205,7 +205,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 d.écriture de|impossible d.étendre).*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 d.écriture de|impossible d.étendre).*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 if zgrep -e "$NEEDLE" "$BASE/logs/$SUITE/$ARCH/${SRCPACKAGE}_${EVERSION}.build${BUILD}.log.gz" ; then handle_enospace return |