diff options
| author | Glenn Morris <rgm@gnu.org> | 2015-03-31 17:47:14 -0400 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2015-03-31 17:47:14 -0400 |
| commit | 8d1d8fc474bd9ed22cbe8b80125c8ce89dc62b57 (patch) | |
| tree | 5848f0f4e28b1f44c1bec42cc3e046d9c3f0f5f0 /admin/update_autogen | |
| parent | ee050a3b1989f1a02401599c3d67542c96aded6f (diff) | |
| download | emacs-8d1d8fc474bd9ed22cbe8b80125c8ce89dc62b57.tar.gz | |
* admin/update_autogen (commit): Switch prefix from "# " to "; ".
Diffstat (limited to 'admin/update_autogen')
| -rwxr-xr-x | admin/update_autogen | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/update_autogen b/admin/update_autogen index 73e8aebe3d8..1bd82967c27 100755 --- a/admin/update_autogen +++ b/admin/update_autogen @@ -228,7 +228,7 @@ commit () echo "Committing..." - $vcs commit -m "# Auto-commit of $type files." "$@" || return $? + $vcs commit -m "; Auto-commit of $type files." "$@" || return $? [ "$vcs" = "git" ] && { $vcs push || return $? |