diff options
Diffstat (limited to 'bin/reproducible_html_graphs.sh')
| -rwxr-xr-x | bin/reproducible_html_graphs.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/reproducible_html_graphs.sh b/bin/reproducible_html_graphs.sh index 14d6679c..d8b082a1 100755 --- a/bin/reproducible_html_graphs.sh +++ b/bin/reproducible_html_graphs.sh @@ -291,8 +291,12 @@ for i in 0 3 4 5 1 ; do done write_page "</p>" write_page_footer -publish_page +publish_page $SUITE +if [ "$SUITE" = "experimental" ] ; then + # no package sets page for experimental + exit 0 +fi VIEW=pkg_sets PAGE=index_${VIEW}.html echo "$(date) - starting to write $PAGE page." |