diff options
author | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2014-04-07 11:26:46 +0000 |
---|---|---|
committer | mstsirkin <mstsirkin@0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652> | 2014-04-07 11:26:46 +0000 |
commit | c9d3a9a8424e1fa7d3278a5efe5d926eecf43a66 (patch) | |
tree | c70a680102373f0ebc9feff3247acf3bca3c4323 | |
parent | 51b7fd5c657bb17d62550b42e5bc89c883c11034 (diff) |
make-setup-generated.sh: pick up date from file
If file named DATE is present, pick up date from there.
Useful so people can re-generate the exact output
from TeX.
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio@336 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652
-rwxr-xr-x | make-setup-generated.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make-setup-generated.sh b/make-setup-generated.sh index d8dab2f..c432a4d 100755 --- a/make-setup-generated.sh +++ b/make-setup-generated.sh @@ -1,6 +1,7 @@ #! /bin/sh VERSION=1.0 +DATESTR=`cat DATE 2>/dev/null` if [ x"$DATESTR" = x ]; then ISODATE=`git show --format=format:'%cd' --date=iso | head -n 1` DATESTR=`date -d "$DATE" +'%d %B %Y'` |