Home Explore Help
Sign In
thomas
/
open62541
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Browse Source

a better way to count commits

Stasik0 10 years ago
parent
55df06aedc
commit
8046001cac
1 changed files with 1 additions and 1 deletions
Split View Show Diff Stats
  1. 1 1
      tools/.coverity.sh

+ 1 - 1
tools/.coverity.sh
View File 

@@ -5,7 +5,7 @@
 
 # of the day to the coverity scan service
 
 #
 
 
-COMMITS=`git log --since=today.midnight | grep commit | wc -l`
 
+COMMITS=`git log --since=today.midnight --oneline | wc -l`
 
 
 if [[ "$COMMITS" -le "1" ]]; then
 
     #first commit a day - push changes to branch coverity_scan