From f1e6690b25eacac268686b5ebf02a5f31ca918af Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Mon, 2 Dec 2019 22:15:34 +0000 Subject: fix coverity build target for gtk target change --- utils/coverity-build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/utils/coverity-build.sh b/utils/coverity-build.sh index b51562f8f..24dafd16a 100755 --- a/utils/coverity-build.sh +++ b/utils/coverity-build.sh @@ -36,8 +36,8 @@ COVERITY_PROJECT="NetSurf+Browser" -# build gtk, framebuffer and monkey frontend by default -TARGETS="gtk framebuffer monkey" +# build gtk2, framebuffer and monkey frontend by default +TARGETS="gtk2 framebuffer monkey" # setup build environment export PREFIX=${PREFIX:-${JENKINS_HOME}/artifacts-${HOST}} -- cgit v1.2.3