session: fix coverity warning

[vpp.git] / Makefile

diff --git a/Makefile b/Makefile
index 3a5c80b..67fdcd4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -59,6 +59,11 @@ else ifeq ($(filter rhel centos fedora opensuse opensuse-leap opensuse-tumblewee
 PKG=rpm
 endif
 
+# on ubuntu 18.04 prefer gcc-8 if it is installed and CC  is not set
+ifeq ($(OS_VERSION_ID)-$(CC)-$(shell which gcc-8 > /dev/null; echo $$?),18.04-cc-0)
+       CC = gcc-8
+endif
+
 # +libganglia1-dev if building the gmond plugin
 
 DEB_DEPENDS  = curl build-essential autoconf automake ccache
@@ -81,6 +86,7 @@ ifeq ($(OS_VERSION_ID),16.04)
 else ifeq ($(OS_VERSION_ID),18.04)
        DEB_DEPENDS += python-dev
        DEB_DEPENDS += libssl-dev
+       DEB_DEPENDS += gcc-8
 else ifeq ($(OS_VERSION_ID),20.04)
        LIBFFI=libffi7
 else ifeq ($(OS_ID)-$(OS_VERSION_ID),debian-8)