diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_stats.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_stats.sh b/bin/reproducible_stats.sh index 60c1ec2f..7a38be7e 100755 --- a/bin/reproducible_stats.sh +++ b/bin/reproducible_stats.sh @@ -63,7 +63,7 @@ init_navi_frame() { echo "<!DOCTYPE html><html><body><p>" > $NAVI echo "<font size=+1>$1</font>: " >> $NAVI BUILD_DATE=$(sqlite3 -init $INIT $PACKAGES_DB "SELECT build_date FROM source_packages WHERE name = \"$PKG\"") - echo "<font size=-1>($BUILD_DATE)</font> " + echo "<font size=-1>($BUILD_DATE)</font> " >> $NAVI } append2navi_frame() { |