diff options
author | Karl Berry <karl@freefriends.org> | 2006-12-18 23:00:05 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-12-18 23:00:05 +0000 |
commit | c8828a48fa3e1087120c2da8d351a059f39e1231 (patch) | |
tree | dfd585aa5c2b2fc4244434ecdb96bf60c752ac13 /Build | |
parent | 04cdb9a5818168a78ad9b4e5f789e1c512079108 (diff) |
--force-log to placate svn.
git-svn-id: svn://tug.org/texlive/trunk@2795 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/tools/update-auto | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/tools/update-auto b/Build/tools/update-auto index 9b30ff193d3..24a98a46c32 100755 --- a/Build/tools/update-auto +++ b/Build/tools/update-auto @@ -172,7 +172,7 @@ if test -z "$update_list"; then echo "$0: nothing to update." else test x"$chicken" != xecho && echo "$0: committing $update_list" - $chicken svn commit -m$0 $update_list + $chicken svn commit --force-log -m$0 $update_list fi echo "$0: done `date`." |