diff options
Diffstat (limited to 'bin/reproducible_json.sh')
| -rwxr-xr-x | bin/reproducible_json.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/reproducible_json.sh b/bin/reproducible_json.sh index 9c38d42d..df2727b5 100755 --- a/bin/reproducible_json.sh +++ b/bin/reproducible_json.sh @@ -26,6 +26,11 @@ for LINE in $RESULT ; do PKG=$(echo $LINE | cut -d "|" -f1) VERSION=$(echo $LINE | cut -d "|" -f2) STATUS=$(echo $LINE | cut -d "|" -f3) + if [ "$STATUS" = "unreproducible" ] ; then + if [ -f /var/lib/jenkins/userContent/buildinfo/${PKG}_${VERSION}_amd64.buildinfo ] ; then + STATUS="$STATUS-with-buildinfo" + fi + fi write_json "{" write_json "\"package\": \"$PKG\"," write_json "\"version\": \"$VERSION\"," |