diff options
| author | Francis Rowe <fchmmr@minifree.lan> | 2015-12-04 14:03:52 (EST) |
|---|---|---|
| committer | Francis Rowe <fchmmr@minifree.lan> | 2015-12-04 14:08:06 (EST) |
| commit | 26d16fa5cdc9e351fcb582104cf8c7b3bf9ddaf0 (patch) | |
| tree | 06502e98de84f539fd001d6bd64cb71f8cb8e0a7 /resources/scripts/helpers/build/release/docs | |
| parent | 2e7fde09174aed5f3cc7d714dbe32e451873f3c9 (diff) | |
| download | libreboot-26d16fa5cdc9e351fcb582104cf8c7b3bf9ddaf0.zip libreboot-26d16fa5cdc9e351fcb582104cf8c7b3bf9ddaf0.tar.gz libreboot-26d16fa5cdc9e351fcb582104cf8c7b3bf9ddaf0.tar.bz2 | |
grub: build reproducibly
Diffstat (limited to 'resources/scripts/helpers/build/release/docs')
| -rwxr-xr-x | resources/scripts/helpers/build/release/docs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs index 966bccf..32203ac 100755 --- a/resources/scripts/helpers/build/release/docs +++ b/resources/scripts/helpers/build/release/docs @@ -28,9 +28,11 @@ printf 'Building the documentation release archive\n' if [ -f "version" ]; then # _src release archive is being used version="$(cat version)" + versiondate="$(cat versiondate)" else # git repo is being used version="$(git describe --tags HEAD)" + versiondate="$(git show -s --format=%ct)" fi versiondir="release/${version}" distname="libreboot_${version}_docs" @@ -60,6 +62,8 @@ fi # include version information printf '%s\n' "${version}" >"${distdir}/version" +# include version date information +printf '%s\n' "${versiondate}" >"${distdir}/versiondate" printf 'Creating compressed documentation archive at %s\n' "${distdir}.tar.xz" (cd "${versiondir}/" && tar -c "${distname}/" | xz -9e >"${distname}.tar.xz") |