diff options
-rwxr-xr-x | utils/coverity-build.sh | 4 |
1 files 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}} |