Return to the current branch, rather than master.

diff --git a/contrib/utilities/count_lines.sh b/contrib/utilities/count_lines.sh
index 1ef661811d44f22dbc36e76ef7b6ab3091b076d1..61640aaa73bb2fef5dd0dc4cfbbfbf9b0ec4f62b 100755 (executable)
--- a/contrib/utilities/count_lines.sh
+++ b/contrib/utilities/count_lines.sh
@@ -61,6 +61,7 @@
 #
 #
 
+current_branch=$(git rev-parse --abbrev-ref HEAD)
 git checkout -q master
 
 commits=$(git log | \
@@ -85,5 +86,5 @@ for commit in $commits ; do
   echo "$date" "$lines_source" "$lines_tests"
 done
 
-git checkout -q master
+git checkout -q ${current_branch}