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)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index 566ab5b2fe8ec77fcd49094e9796487d3a455e33..9771ae49dfb7b9492e03b83a7b24be9cd3fc936d 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -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

diff --git a/src/version.c b/src/version.c
index a0a72104649ba0215e2561c07c62e3e0808e37c7..1fd798b8fa8a3d2881f1f0ebd68c4208e409883b 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -723,6 +723,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    277,
 /**/
     276,
 /**/