Skip to content

Commit eed9616

Browse files
jamessanbrammool
authored andcommitted
patch 8.2.3319: Coverity action on github does not work
Problem: Coverity action on github does not work. Solution: Remove undefined $SRCDIR. (James McCoy, closes #8739)
1 parent ed8b099 commit eed9616

2 files changed

Lines changed: 4 additions & 2 deletions

File tree

.github/workflows/coverity.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -59,8 +59,8 @@ jobs:
5959
run: |
6060
./configure --with-features=huge ${CONFOPT} --enable-fail-if-missing
6161
# Append various warning flags to CFLAGS.
62-
sed -i -f ci/config.mk.sed ${SRCDIR}/auto/config.mk
63-
sed -i -f ci/config.mk.${CC}.sed ${SRCDIR}/auto/config.mk
62+
sed -i -f ci/config.mk.sed src/auto/config.mk
63+
sed -i -f ci/config.mk.${CC}.sed src/auto/config.mk
6464
6565
- name: Build/scan vim
6666
run: |

src/version.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -755,6 +755,8 @@ static char *(features[]) =
755755

756756
static int included_patches[] =
757757
{ /* Add new patch number below this line */
758+
/**/
759+
3319,
758760
/**/
759761
3318,
760762
/**/

0 commit comments

Comments
 (0)