Forráskód Böngészése

check if there was a successful push to coverity today

Julius Pfrommer 10 éve
szülő
commit
2bc8be669c
2 módosított fájl, 2 hozzáadás és 2 törlés
  1. 1 1
      tools/.coverity.sh
  2. 1 1
      tools/.deployDoxygen.sh

+ 1 - 1
tools/.coverity.sh

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

+ 1 - 1
tools/.deployDoxygen.sh

@@ -5,7 +5,7 @@
 # Doxygen docs to open62541-www
 # Doxygen docs to open62541-www
 #
 #
 
 
-COMMITS=`git log --since=today.midnight --oneline | wc -l`
+COMMITS=`git log coverity_scan --since=today.midnight --oneline | wc -l`
 
 
 if [[ "$COMMITS" -le "1" ]]; then
 if [[ "$COMMITS" -le "1" ]]; then
    git clone --depth=50 -b gh-pages https://$GITAUTH@github.com/acplt/open62541-www
    git clone --depth=50 -b gh-pages https://$GITAUTH@github.com/acplt/open62541-www