diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index f511b2d3..47c266a9 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -286,6 +286,7 @@ gen_packages_html() { for (( i=1; i<$#+1; i=i+100 )) ; do local string='[' local delimiter='' + local j for (( j=0; j<100; j++)) ; do local item=$(( $j+$i )) if (( $item < $#+1 )) ; then |