diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-09-28 14:47:20 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-09-28 14:47:20 +0200 |
commit | 1993ac52cc262a8200444e7eb98fe34e71c67585 (patch) | |
tree | 5379535c4a9f031c56b6e39b4d3bec917bf87745 | |
parent | 8ccd470b94215a0b30d4f2879e76fef5e1c81d3a (diff) | |
download | jenkins.debian.net-1993ac52cc262a8200444e7eb98fe34e71c67585.tar.xz |
reproducible: .diffp files are now .log files
-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 ed77c280..a56a6178 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -108,7 +108,7 @@ for SRCPACKAGE in $PACKAGES ; do mkdir -p results/_success mkdir -p /var/lib/jenkins/userContent/diffp/ LOGFILE=$(ls ${SRCPACKAGE}_*.dsc) - LOGFILE=$(echo ${LOGFILE%.dsc}.diffp) + LOGFILE=$(echo ${LOGFILE%.dsc}.diffp.log) ./misc.git/diffp b1/${SRCPACKAGE}_*.changes b2/${SRCPACKAGE}_*.changes | tee ./results/${LOGFILE} cp ./results/${LOGFILE} /var/lib/jenkins/userContent/diffp/ if ! $(grep -qv '^\*\*\*\*\*' ./results/${LOGFILE}) ; then |