diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-22 16:20:20 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-22 16:20:20 -0300 |
| commit | 92335dabac97c016dd8c526f70721d9eba1979c9 (patch) | |
| tree | 83e5b9f1a7aa512402c1d535edd991105a3df852 | |
| parent | aux/workflow/dist.sh: Do not build before doing dist (diff) | |
| download | remembering-92335dabac97c016dd8c526f70721d9eba1979c9.tar.gz remembering-92335dabac97c016dd8c526f70721d9eba1979c9.tar.xz | |
aux/workflow/dist.sh: Use authoring date over commit date
Diffstat (limited to '')
| -rwxr-xr-x | aux/workflow/dist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh index 1461a86..8111b34 100755 --- a/aux/workflow/dist.sh +++ b/aux/workflow/dist.sh @@ -58,7 +58,7 @@ if ! printf '%s\n%s\n' "$(git tag)" "$VVERSION" | sort -nct. -k1 -k2 -k3; then exit 1 fi -if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then +if [ "$DATE" != "$(git log -1 --format=%ad --date=short HEAD)" ]; then echo "Date '$DATE' is not up-to-date." >&2 exit 1 fi |