diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 996fb067..e873fb70 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -161,6 +161,10 @@ write_page_header() { BASEURL="" fi done + if [ "$TARGET" = "pkg_sets" ] && [ "$SUITE" = "experiemental" ] ; then + # no pkg_sets are tested in experimental + continue + fi write_page "<li><a href=\"$BASEURL/index_${TARGET}.html\">${SPOKEN_TARGET}</a></li>" done for i in $SUITES ; do |