ports/openmpi
ports/openmpi
1
1
Fork 0
Code Releases Activity

getdate.sh: make the date(1) usage more portable

Browse Source 
There are several different flavors of date(1) out there.  Try a few
different CLI options for date(1) to see which one works.

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
This commit is contained in:
Jeff Squyres 2020-10-28 22:56:13 -04:00
parent ddf216b0a3
commit 89920bac4c
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
config/getdate.sh
View File

@ -7,4 +7,8 @@
# Provide a way to override build date for reproducible build results
# See https://reproducible-builds.org/ for why this is good.
date --date="@${SOURCE_DATE_EPOCH:-$(date +%s)}" "$@"
# There are several different flavors of date(1) out there.
# Try a few different CLI options for date(1) to see which one works.
SOURCE_DATE_EPOCH="${SOURCE_DATE_EPOCH:-$(date +%s)}"
date -u -d "@$SOURCE_DATE_EPOCH" "$@" 2>/dev/null || date -u -r "$SOURCE_DATE_EPOCH" "$@" 2>/dev/null || date -u "$@"