diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-09-28 01:43:25 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-09-28 01:43:25 +0200 |
| commit | 3f012b9b79a90396c57848fc9b8147adf41a1e4f (patch) | |
| tree | 48e3b42f4af675238749e632391354241c7a3359 /bin | |
| parent | 50142d729a8e62b6abc6ada8b5460420b3e96706 (diff) | |
| download | jenkins.debian.net-3f012b9b79a90396c57848fc9b8147adf41a1e4f.tar.xz | |
improve output
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_build.sh | 14 |
1 files changed, 7 insertions, 7 deletions
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 |