diff options
| -rw-r--r-- | TODO | 3 | ||||
| -rwxr-xr-x | bin/reproducible_build.sh | 14 |
2 files changed, 7 insertions, 10 deletions
@@ -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 |