diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index d3493f27..3d5318ca 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -256,6 +256,7 @@ publish_page() { } link_packages() { + set +x local i for (( i=1; i<$#+1; i=i+400 )) ; do local string='[' @@ -275,6 +276,7 @@ link_packages() { cd - > /dev/null write_page "$DATA" done + if "$DEBUG" ; then set -x ; fi } gen_packages_html() { |