diff options
| author | 喜欢兰花山丘 <csharpwz@outlook.com> | 2019-11-19 17:23:47 +0800 |
|---|---|---|
| committer | antirez <antirez@gmail.com> | 2019-11-19 17:26:14 +0100 |
| commit | 1fd97ee7f192beec7dbde44ee0adee39d9eb6547 (patch) | |
| tree | 24e749d5db9754dc16fe06c34cf3499a106644ef | |
| parent | 1a9855d7d9458647402b01cd2b1d5e4f40ff0eb4 (diff) | |
| download | redis-1fd97ee7f192beec7dbde44ee0adee39d9eb6547.tar.gz | |
Update mkreleasehdr.sh
fix date +%s errata
| -rwxr-xr-x | src/mkreleasehdr.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mkreleasehdr.sh b/src/mkreleasehdr.sh index e6d558b17..236c26c2b 100755 --- a/src/mkreleasehdr.sh +++ b/src/mkreleasehdr.sh @@ -3,7 +3,7 @@ GIT_SHA1=`(git show-ref --head --hash=8 2> /dev/null || echo 00000000) | head -n GIT_DIRTY=`git diff --no-ext-diff 2> /dev/null | wc -l` BUILD_ID=`uname -n`"-"`date +%s` if [ -n "$SOURCE_DATE_EPOCH" ]; then - BUILD_ID=$(date -u -d "@$SOURCE_DATE_EPOCH" +%s 2>/dev/null || date -u -r "$SOURCE_DATE_EPOCH" +%s 2>/dev/null || date -u %s) + BUILD_ID=$(date -u -d "@$SOURCE_DATE_EPOCH" +%s 2>/dev/null || date -u -r "$SOURCE_DATE_EPOCH" +%s 2>/dev/null || date -u +%s) fi test -f release.h || touch release.h (cat release.h | grep SHA1 | grep $GIT_SHA1) && \ |