diff options
| author | James McCoy <jamessan@jamessan.com> | 2021-08-09 13:20:38 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2021-08-09 13:20:38 +0200 |
| commit | eed9616120f60ad17d5e133f505bba5c559aee89 (patch) | |
| tree | a84231cda64ba27339512a0fce9366935e1d5d17 /.github | |
| parent | ed8b099fd23b20d7b5a436182bde6672c8686189 (diff) | |
patch 8.2.3319: Coverity action on github does not workv8.2.3319
Problem: Coverity action on github does not work.
Solution: Remove undefined $SRCDIR. (James McCoy, closes #8739)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/coverity.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 436c7b2c98..4b3ee192c7 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -59,8 +59,8 @@ jobs: run: | ./configure --with-features=huge ${CONFOPT} --enable-fail-if-missing # Append various warning flags to CFLAGS. - sed -i -f ci/config.mk.sed ${SRCDIR}/auto/config.mk - sed -i -f ci/config.mk.${CC}.sed ${SRCDIR}/auto/config.mk + sed -i -f ci/config.mk.sed src/auto/config.mk + sed -i -f ci/config.mk.${CC}.sed src/auto/config.mk - name: Build/scan vim run: | |