summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-02-07 01:45:03 +0000
committerKarl Berry <karl@freefriends.org>2006-02-07 01:45:03 +0000
commit5885ab62853842b07bc97448c07aab2fa5717072 (patch)
treee75e3e124c81ddf2ea52a68e56a8c85240d28cb3
parent40670b7d02158d6200fc1e8e7cd355e3f02781f6 (diff)
debug diff_without_date
git-svn-id: svn://tug.org/texlive/trunk@1506 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/Tools/tlrebuild8
1 files changed, 6 insertions, 2 deletions
diff --git a/Master/Tools/tlrebuild b/Master/Tools/tlrebuild
index 4bb9e52a93e..cf1167030b7 100755
--- a/Master/Tools/tlrebuild
+++ b/Master/Tools/tlrebuild
@@ -63,10 +63,14 @@ for dir in texmf/tpm texmf-dist/tpm texmf-doc/tpm; do
cd $master/$dir || exit 1
message "$dir: finding changed tpms"
for f in "$@"; do
- diff="`svn --diff-cmd=diff -x -u0 diff $f \
- | egrep -v '^[-+=@]{2,3}|TPM:Date|Index' 2>/dev/null`"
+ diff="`svn --diff-cmd=diff -x -u0 diff $f`"
+ diff_without_date=`echo "$diff" | egrep -v '^[-+=@]{2,3}|TPM:Date|^Index'`
if test -z "$diff"; then
svn revert $f
+ elif test -z "$diff_without_date"; then
+ # checking to see if this ever happens; the date should be stable?
+ echo "$f diff only in date, reverted: $diff"
+ svn revert $f
else
echo " $f diff:"
echo "$diff"