diff options
author | Chris Lamb <chris@chris-lamb.co.uk> | 2016-04-29 16:45:53 +0100 |
---|---|---|
committer | Chris Lamb <chris@chris-lamb.co.uk> | 2016-04-29 16:45:53 +0100 |
commit | 82ae4f30ed8d2c55c27a465429adee572654bdb2 (patch) | |
tree | cbc44654396d61aa9f40b0efdbae3e1e7b2ceb32 | |
parent | cf76af6b9fb7f808ac6f0ab79393d390a14f9cd9 (diff) | |
download | redis-82ae4f30ed8d2c55c27a465429adee572654bdb2.tar.gz |
Use SOURCE_DATE_EPOCH over unreproducible uname + date calls.
See <https://reproducible-builds.org/specs/source-date-epoch/> for more
details.
Signed-off-by: Chris Lamb <chris@chris-lamb.co.uk>
-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 |