diff options
author | Vincent Sanders <vince@kyllikki.org> | 2019-12-02 22:15:34 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2019-12-02 22:15:34 +0000 |
commit | f1e6690b25eacac268686b5ebf02a5f31ca918af (patch) | |
tree | 644a392b8da86900146070f542fdfa85674b5600 /utils | |
parent | 77b74137e7ebf195a8d4139bb89c02982a4f4642 (diff) | |
download | netsurf-f1e6690b25eacac268686b5ebf02a5f31ca918af.tar.gz netsurf-f1e6690b25eacac268686b5ebf02a5f31ca918af.tar.bz2 |
fix coverity build target for gtk target change
Diffstat (limited to 'utils')
-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}} |