diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -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 0872dd73..23a1eb9d 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -234,8 +234,8 @@ write_page_header() { # no pkg_sets are tested in experimental continue fi - if [ "$TARGET" = "pkg_sets" ] && [ "$ARCH" = "armhf" ] ; then - # no pkg_sets for armhf _yet_ + if [ "$TARGET" = "pkg_sets" ] && [ "$ARCH" = "armhf" ] && [ "$SUITE" = "testing" ] ; then + # testing/armhf is not being tested yet _yet_ (so I think this is never met…) continue fi SPOKEN_TARGET=${SPOKENTARGET[$TARGET]} |