diff options
| author | Wladimir J. van der Laan <[email protected]> | 2013-11-20 23:08:37 -0800 |
|---|---|---|
| committer | Wladimir J. van der Laan <[email protected]> | 2013-11-20 23:08:37 -0800 |
| commit | f7e88c39d76fba1d43a82ab353640a1597fe5b5f (patch) | |
| tree | 1ff8fab5775bf8ea63f57333b5eabb4148fda892 | |
| parent | Merge pull request #3283 from gavinandresen/rpcwait (diff) | |
| parent | Provide build time when building from tarball: (diff) | |
| download | discoin-f7e88c39d76fba1d43a82ab353640a1597fe5b5f.tar.xz discoin-f7e88c39d76fba1d43a82ab353640a1597fe5b5f.zip | |
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 da50b0d10..edb847a24 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 |