fixup! Run coverity if there was any commit in the week

gssapi · Jul 26, 2022 · 5b77a0d · 5b77a0d
1 parent edda7c7
commit 5b77a0d
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -27,10 +27,9 @@ jobs:
           ./configure
     - name: Check for changes
       run: |
+          echo "RUN_COV=0" >> $GITHUB_ENV;
           DIFF=`git log --since=1week | wc -l`
-          if [ $DIFF -eq 0]; then
-            echo "RUN_COV=0" >> $GITHUB_ENV;
-          else
+          if [ x${DIFF} != "x0" ]; then
             echo "RUN_COV=1" >> $GITHUB_ENV;
           fi
     - name: Coverity Scan