From 31154b1d290f2237eafb6bd4754d2283b42c88de Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Wed, 14 Oct 2015 12:15:41 +0200 Subject: reproducible: simplefy French --- bin/reproducible_build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/reproducible_build.sh') 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 -- cgit v1.2.3-70-g09d2