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 a07a92a3..4e8a4716 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -254,7 +254,7 @@ write_page_header() { if [ "$1" = "suite_arch_stats" ] && [ "$i" = "$ARCH" ] ; then CLASS=" class=\"active\"" fi - write_page " <a href=\"/$SUITE/index_suite_${i}_stats.html\"$CLASS>$i</a>" + write_page " <a href=\"/$SUITE/index_suite_${i}_stats.html\"$CLASS>$i</a> " CLASS="" done write_page "</li>" @@ -264,7 +264,7 @@ write_page_header() { if [ "$1" = "suite_arch_stats" ] && [ "$i" = "$SUITE" ] ; then CLASS=" class=\"active\"" fi - write_page " <a href=\"/$i/index_suite_${ARCH}_stats.html\"$CLASS>$i</a>" + write_page " <a href=\"/$i/index_suite_${ARCH}_stats.html\"$CLASS>$i</a> " CLASS="" done write_page "</li>" |