check if the pdf version of the ARM needs to be committed

This commit is contained in:
Mark Andrews 2012-04-27 12:29:35 +10:00
parent 6a2337c066
commit 55e7afa4ea

9
util/commit-arm.sh Normal file
View file

@ -0,0 +1,9 @@
ps=`git log -1 --date=raw --pretty=format:%ad -- doc/arm/Bv9ARM.pdf | awk '{print $1;}'`
for f in doc/arm/*.html
do
ts=`git log -1 --date=raw --pretty=format:%ad -- $f | awk '{print $1;}'`
if test ${ts:-0} -gt ${ps:-0}
then
echo commit needed.
fi
done