Add time to version string

To comply with Debian's package version rules.

Signed-off-by: Geoff Levand <geoff@infradead.org>

diff --git a/bootstrap b/bootstrap
index 6a9f35b6238c26f6a0294b73199bb3ce9d177afb..9f28c428be1c9dacffc4ddfbbd8b0743c44a7f09 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -15,8 +15,10 @@ elif head=$(git rev-parse --short --verify HEAD 2>/dev/null); then
 
        date=$(git log --pretty=format:"%ci" -1 HEAD)
        date=${date##20}
 
        date=$(git log --pretty=format:"%ci" -1 HEAD)
        date=${date##20}

-       date=${date%% [0-9][0-9]:*}
+       date=${date%%:[0-9][0-9] *}

        date=${date//-/.}
        date=${date//-/.}

+       date=${date// /.}
+       date=${date//:/.}

 
        version=$(printf '%s-%s%s' ${date} g ${head})
 
 
        version=$(printf '%s-%s%s' ${date} g ${head})