forked from aniani/vim
patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04
Problem: Coverity CI: update-alternatives not needed with Ubuntu 20.04. Solution: Remove update-alternatives for Lua. (closes #10987)
This commit is contained in:
parent
93f72cc119
commit
c361842f14
6
.github/workflows/coverity.yml
vendored
6
.github/workflows/coverity.yml
vendored
@ -50,12 +50,6 @@ jobs:
|
||||
echo "CONFOPT=--enable-perlinterp --enable-pythoninterp --enable-python3interp --enable-rubyinterp --enable-luainterp --enable-tclinterp"
|
||||
) >> $GITHUB_ENV
|
||||
|
||||
- name: Set up system
|
||||
run: |
|
||||
# Setup lua5.3 manually since its package doesn't provide alternative.
|
||||
# https://bugs.launchpad.net/ubuntu/+source/lua5.3/+bug/1707212
|
||||
sudo update-alternatives --install /usr/bin/lua lua /usr/bin/lua5.3 10
|
||||
|
||||
- name: Configure
|
||||
run: |
|
||||
./configure --with-features=huge ${CONFOPT} --enable-fail-if-missing
|
||||
|
@ -723,6 +723,8 @@ static char *(features[]) =
|
||||
|
||||
static int included_patches[] =
|
||||
{ /* Add new patch number below this line */
|
||||
/**/
|
||||
277,
|
||||
/**/
|
||||
276,
|
||||
/**/
|
||||
|
Loading…
x
Reference in New Issue
Block a user