+ git support

git-svn-id: trunk@44399 -
(cherry picked from commit f6b6622569)
This commit is contained in:
florian 2020-03-29 17:13:41 +00:00 committed by Pierre Muller
parent fa5d11a3b8
commit 7cb02a1470

View File

@ -14,18 +14,37 @@ export LANG
tmpfiles=
for f in $important_sources ; do
tmpfile=.tmp.$f
tmpfiles="$tmpfiles $tmpfile"
svn info $f > $tmpfile
done
# git repository?
if [ -d ../../.git ] ; then
USEGIT=1
echo Using git repository
# we just look for the last commit date here
for f in $important_sources ; do
tmpfile=.tmp.$f
tmpfiles="$tmpfiles $tmpfile"
echo "Change information for $f: "
git log -1 --pretty="format:%ci %h" $f > $tmpfile
echo >> $tmpfile
cat $tmpfile
done
git_date=`cat $tmpfiles | sort -n | tail -1 | gawk '{ print $1 }'`
git_hash=`cat $tmpfiles | sort -n | tail -1 | gawk '{ print $4 }'`
echo "Last date is $git_date, hash is $git_hash"
echo "'$git_date hash $git_hash'" > revision.inc
else
for f in $important_sources ; do
tmpfile=.tmp.$f
tmpfiles="$tmpfiles $tmpfile"
svn info $f > $tmpfile
done
# echo "svn_info is $svn_info"
svn_date=`gawk '/Last Changed Date: / {print $4 }' $tmpfiles | sort -n | tail -1`
svn_rev=`gawk '/Last Changed Rev: / {print $4 }' $tmpfiles | sort -n | tail -1`
echo "for files $important_sources, date is $svn_date, rev is $svn_rev"
echo "'$svn_date rev $svn_rev'" > revision.inc
fi
# echo "svn_info is $svn_info"
svn_date=`gawk '/Last Changed Date: / {print $4 }' $tmpfiles | sort -n | tail -1`
svn_rev=`gawk '/Last Changed Rev: / {print $4 }' $tmpfiles | sort -n | tail -1`
echo "for files $important_sources, date is $svn_date, rev is $svn_rev"
echo "'$svn_date rev $svn_rev'" > revision.inc
rm -Rf $tmpfiles