diff --git a/build/stamp.sh b/build/stamp.sh index 52ca263f..23f4e688 100755 --- a/build/stamp.sh +++ b/build/stamp.sh @@ -1,10 +1,13 @@ #!/bin/sh # Update timestamps to those listed in the file passed as $1. +# Those timestamps are always in Eastern Standard Time. # If there's no timestamp, we take the latest git author date. list="$PWD/$1" +OTZ="$TZ" +export TZ timestamps(){ for i in */*; do @@ -13,8 +16,10 @@ timestamps(){ if test -n "$t"; then set -- $t t="$2" + TZ=EST else t=`git log -1 --date=format:%Y%m%d%H%M.%S --format=%cd -- "$1"` + TZ="$OTZ" fi touch -h -t "$t" -- "$i" done