diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-05-25 13:54:36 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-05-25 13:54:36 +0200 |
| commit | 1fb1dad0791cbb7351f7fea03b37bd164ad0dde4 (patch) | |
| tree | a05007dd47e8a5545f56c73db880a9b7cc43a5bb /bin | |
| parent | ca1219563edfede0ab1cd91ea3514ea12336558d (diff) | |
| download | jenkins.debian.net-1fb1dad0791cbb7351f7fea03b37bd164ad0dde4.tar.xz | |
reproducible: no debugging for that loop, too noisy
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_html_graphs.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_html_graphs.sh b/bin/reproducible_html_graphs.sh index da1e2290..8a5953ae 100755 --- a/bin/reproducible_html_graphs.sh +++ b/bin/reproducible_html_graphs.sh @@ -185,6 +185,7 @@ gather_meta_stats() { # gather data about all packages we know about # as a result, unknown packages in the package set # are silently ignored + set +x for PKG in $META_LIST ; do if [ -z "$META_WHERE" ] ; then META_WHERE="s.name in ('$PKG'" @@ -192,6 +193,7 @@ gather_meta_stats() { META_WHERE="$META_WHERE, '$PKG'" fi done + if "$DEBUG" ; then set -x ; fi META_WHERE="$META_WHERE)" else META_WHERE="name = 'meta-name-does-not-exist'" |