diff options
author | Salvatore Sanfilippo <antirez@gmail.com> | 2018-08-26 11:25:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-26 11:25:44 +0200 |
commit | 46d89a9abb5550b8b425c179e3c92d10e64f41fe (patch) | |
tree | 692f5071e3b393b1c42e6684379e4d594be8b43e /src | |
parent | 590717782fad214921361917ff511b0c27617c50 (diff) | |
parent | 82ae4f30ed8d2c55c27a465429adee572654bdb2 (diff) | |
download | redis-46d89a9abb5550b8b425c179e3c92d10e64f41fe.tar.gz |
Merge pull request #2992 from lamby/source-date-epoch
Use SOURCE_DATE_EPOCH over unreproducible uname + date calls.
Diffstat (limited to 'src')
-rwxr-xr-x | src/mkreleasehdr.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mkreleasehdr.sh b/src/mkreleasehdr.sh index 1ae95886b..e6d558b17 100755 --- a/src/mkreleasehdr.sh +++ b/src/mkreleasehdr.sh @@ -2,6 +2,9 @@ GIT_SHA1=`(git show-ref --head --hash=8 2> /dev/null || echo 00000000) | head -n1` 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) +fi test -f release.h || touch release.h (cat release.h | grep SHA1 | grep $GIT_SHA1) && \ (cat release.h | grep DIRTY | grep $GIT_DIRTY) && exit 0 # Already up-to-date |