summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-10-14 12:15:41 +0200
committerHolger Levsen <holger@layer-acht.org>2015-10-14 12:15:41 +0200
commit31154b1d290f2237eafb6bd4754d2283b42c88de (patch)
treefb29f16cd0041c9de7c597aa338dc75ac1d9a5d8 /bin
parentcf333b21585113e405b2123a6f723da2bf28f681 (diff)
downloadjenkins.debian.net-31154b1d290f2237eafb6bd4754d2283b42c88de.tar.xz
reproducible: simplefy French
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh
index b5e1f60b..951dfc77 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' '^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' ; do
if zgrep -e "$NEEDLE" "$BASE/logs/$SUITE/$ARCH/${SRCPACKAGE}_${EVERSION}.build${BUILD}.log.gz" ; then
handle_enospace
return