]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Return to the current branch, rather than master. 6959/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 1 Aug 2018 14:18:14 +0000 (08:18 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Wed, 1 Aug 2018 14:18:14 +0000 (08:18 -0600)
contrib/utilities/count_lines.sh

index 1ef661811d44f22dbc36e76ef7b6ab3091b076d1..61640aaa73bb2fef5dd0dc4cfbbfbf9b0ec4f62b 100755 (executable)
@@ -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}
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.