diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 706d76ad..d09c9726 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -146,8 +146,8 @@ write_page_header() { write_page "</li>" done for TARGET in $ALLVIEWS ; do - if [ "$TARGET" = "pkg_sets" ] && [ "$SUITE" = "experimental" ] ; then - # no pkg_sets are tested in experimental + if [ "$TARGET" = "pkg_sets" ] && [ "$SUITE" != "sid" ] ; then + # FIXME: no pkg_sets are tested in experimental continue fi SPOKEN_TARGET=${SPOKENTARGET[$TARGET]} |