Patch 9.0.0277
Problem:    Coverity CI: update-alternatives not needed with Ubuntu 20.04.
Solution:   Remove update-alternatives for Lua. (closes #10987)
Files:      .github/workflows/coverity.yml


*** ../vim-9.0.0276/.github/workflows/coverity.yml      2022-08-25 
16:24:53.166843838 +0100
--- .github/workflows/coverity.yml      2022-08-26 15:43:09.736905689 +0100
***************
*** 50,61 ****
            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
--- 50,55 ----
*** ../vim-9.0.0276/src/version.c       2022-08-26 15:34:48.248902161 +0100
--- src/version.c       2022-08-26 15:46:27.856856334 +0100
***************
*** 725,726 ****
--- 725,728 ----
  {   /* Add new patch number below this line */
+ /**/
+     277,
  /**/

-- 
There are only two hard things in programming: Cache invalidation,
naming things and off-by-one errors.

 /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net   \\\
///                                                                      \\\
\\\        sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ ///
 \\\            help me help AIDS victims -- http://ICCF-Holland.org    ///

-- 
-- 
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php

--- 
You received this message because you are subscribed to the Google Groups 
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/vim_dev/20220826145016.DCE801C066C%40moolenaar.net.

Raspunde prin e-mail lui