diff options
| author | Karl Berry <karl@freefriends.org> | 2006-04-09 23:54:34 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2006-04-09 23:54:34 +0000 |
| commit | 9bf9220a8f892aadcf92abc7413a76ccc2e32bbd (patch) | |
| tree | 7591a72006327f1a80a52f5f31d083b04db7320b /Build/tools | |
| parent | 5a2dfbce50e352b2d2812953783271e753c834dd (diff) | |
quit if only one new commit (presumably ourselves)
has been made.
git-svn-id: svn://tug.org/texlive/trunk@1555 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/tools')
| -rwxr-xr-x | Build/tools/svnchangelog | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Build/tools/svnchangelog b/Build/tools/svnchangelog index e2bd67ca840..e655c4d5868 100755 --- a/Build/tools/svnchangelog +++ b/Build/tools/svnchangelog @@ -36,8 +36,10 @@ line=`grep '^r[0-9]* |' $newlogs | head -1 | sed 's/^r//'` latestchange=`echo "$line" | awk '{print $1}'` $debug && echo "latestchange=$latestchange" -# nothing submitted since last change? -test $latestchange -lt $nextneeded && exit 0 +# done if nothing submitted since last change. +# or if only one commit has been made, because we ourselves do a commit, +# so otherwise we'd add a useless entry every time we're run. +test $latestchange -le $nextneeded && exit 0 # rotate logs if crossed a 1000-change mark. rotate=false |