summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_common.sh4
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>&nbsp;&nbsp;"
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>&nbsp;&nbsp;"
CLASS=""
done
write_page "</li>"