diff options
| -rwxr-xr-x | make-setup-generated.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-setup-generated.sh b/make-setup-generated.sh index 2525702..02c58b5 100755 --- a/make-setup-generated.sh +++ b/make-setup-generated.sh @@ -1,7 +1,7 @@ #! /bin/sh VERSION=1.0 -DATESTR=`cat REVISION-DATE 2>/dev/null` +DATESTR=${DATESTR:-`cat REVISION-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'` |