diff options
Diffstat (limited to 'databases/redis6/files/patch-src-mkreleasehdr.sh')
| -rw-r--r-- | databases/redis6/files/patch-src-mkreleasehdr.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/databases/redis6/files/patch-src-mkreleasehdr.sh b/databases/redis6/files/patch-src-mkreleasehdr.sh deleted file mode 100644 index e48b3174d315..000000000000 --- a/databases/redis6/files/patch-src-mkreleasehdr.sh +++ /dev/null @@ -1,11 +0,0 @@ ---- src/mkreleasehdr.sh.orig 2019-11-22 16:54:22 UTC -+++ src/mkreleasehdr.sh -@@ -1,6 +1,6 @@ - #!/bin/sh --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` -+GIT_SHA1="00000000" -+GIT_DIRTY="0" - 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) |