diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-11-20 23:08:37 -0800 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-11-20 23:08:37 -0800 |
| commit | f7e88c39d76fba1d43a82ab353640a1597fe5b5f (patch) | |
| tree | 1ff8fab5775bf8ea63f57333b5eabb4148fda892 | |
| parent | 34f5b0ab93e4f92e92531afa090caba06a031c68 (diff) | |
| parent | ef1e984eade3166f807197eccba378fa937b6f88 (diff) | |
Merge pull request #3293 from onlyjob/master
Provide build time when building from tarball:
| -rwxr-xr-x | share/genbuild.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/share/genbuild.sh b/share/genbuild.sh index da50b0d109..edb847a242 100755 --- a/share/genbuild.sh +++ b/share/genbuild.sh @@ -13,6 +13,8 @@ else exit 1 fi +TIME=$(date '+%F %T %z') + if [ -e "$(which git)" -a -d ".git" ]; then # clean 'dirty' status of touched files that haven't been modified git diff >/dev/null 2>/dev/null |