sync.sh: Be more compatible.

diff --git a/sync.sh b/sync.sh
index 95b3c4a925b0a2b4ac6bcede643c9be0f2a5bfc9..6600c889344ea4e21bdcaf554eb373d701bbd95f 100755 (executable)
--- a/sync.sh
+++ b/sync.sh
@@ -34,7 +34,7 @@ for project in `find . -name .git -type d`; do
     # be pushed to the remote hosts).
     if [ $method = status ]; then
         # Display a log similar to gitk but for the console.
-        function git_log() {
+        git_log() {
             output=`git log --graph --all --pretty=oneline --color $1`
             if [ "x$output" != x ]; then
                 echo $2