git-instaweb: Remove pidfile after stopping web server

diff --git a/git-submodule.sh b/git-submodule.sh
index 3319b836b217a26b4ac55ae5ced328ffafa0a015..8175cb279d38a663fc0481e2b11f4b5ea60f8a32 100755 (executable)
--- a/git-submodule.sh
+++ b/git-submodule.sh
@@ -650,7 +650,7 @@ cmd_summary() {
                                range=$sha1_dst
                        fi
                        GIT_DIR="$name/.git" \
-                       git log --pretty=oneline --first-parent $range | wc -l
+                       git rev-list --first-parent $range -- | wc -l
                        )
                        total_commits=" ($(($total_commits + 0)))"
                        ;;