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

This commit is contained in:
Mark Andrews 2012-04-27 12:29:49 +10:00
parent 59e133e84a
commit 26329dc28a

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