summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2014-09-28 01:43:25 +0200
committerHolger Levsen <holger@layer-acht.org>2014-09-28 01:43:25 +0200
commit3f012b9b79a90396c57848fc9b8147adf41a1e4f (patch)
tree48e3b42f4af675238749e632391354241c7a3359
parent50142d729a8e62b6abc6ada8b5460420b3e96706 (diff)
downloadjenkins.debian.net-3f012b9b79a90396c57848fc9b8147adf41a1e4f.tar.xz
improve output
-rw-r--r--TODO3
-rwxr-xr-xbin/reproducible_build.sh14
2 files changed, 7 insertions, 10 deletions
diff --git a/TODO b/TODO
index 63d55614..59ab3632 100644
--- a/TODO
+++ b/TODO
@@ -104,9 +104,6 @@ general
* investigate packages not in sid from https://jenkins.debian.net/view/reproducible/job/reproducible_build_d-i/lastBuild/console - the list was taken from the jenkins d-i jobs...
* pbuilder results cleanup
* pbuilder cleanup cache
-* put package results (name, version, result) in an sqlite db
-** only reschedule successful packages with 25% probability, always reschedule failed package, reschedule successful packages in a new version with 75% approx
-** new job: 99-random: build 99 random packages each day
** graph number of reproducible packages
=== Test Debian live
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh
index ce76e791..9638eca2 100755
--- a/bin/reproducible_build.sh
+++ b/bin/reproducible_build.sh
@@ -27,13 +27,6 @@ if [ ! -f $PACKAGES_DB ] ; then
PRIMARY KEY (name))'
fi
-set +x
-echo
-echo "=============================================================="
-echo "The following source packages will be build: $@"
-echo "=============================================================="
-echo
-set -x
# this needs sid entries in sources.list:
grep deb-src /etc/apt/sources.list | grep sid
sudo apt-get update
@@ -48,6 +41,13 @@ if [[ $1 =~ ^-?[0-9]+$ ]] ; then
else
PACKAGES="$@"
fi
+set +x
+echo
+echo "=============================================================="
+echo "The following source packages will be build: $PACKAGES"
+echo "=============================================================="
+echo
+set -x
COUNT_TOTAL=0
COUNT_GOOD=0