From 9b5ccbe4d7ffac900831a506d995080f2ca81cea Mon Sep 17 00:00:00 2001
From: Philippe Antoine <contact@catenacyber.fr>
Date: Fri, 3 Apr 2020 15:31:59 +0200
Subject: [PATCH] ci: adds a build with make tags

---
 .github/workflows/builds.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 788973e514..75650dc5b1 100644
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -309,7 +309,8 @@ jobs:
                 rustc \
                 software-properties-common \
                 zlib1g \
-                zlib1g-dev
+                zlib1g-dev \
+                exuberant-ctags
       - name: Install Coccinelle
         run: |
           add-apt-repository -y ppa:npalix/coccinelle
@@ -322,6 +323,7 @@ jobs:
       - run: ./autogen.sh
       - run: ./configure --enable-unittests --enable-coccinelle
       - run: make -j2
+      - run: make tags
       - name: Running unit tests and cocci checks
         # Set the concurrency level for cocci.
         run: CONCURRENCY_LEVEL=2 make check