ci: adds a build with make tags

pull/4776/head
Philippe Antoine 6 years ago committed by Victor Julien
parent 752fc77cdc
commit 9b5ccbe4d7

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

Loading…
Cancel
Save