diff options
| -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`." |