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 | |
| parent | 77b74137e7ebf195a8d4139bb89c02982a4f4642 (diff) | |
| download | netsurf-f1e6690b25eacac268686b5ebf02a5f31ca918af.tar.gz netsurf-f1e6690b25eacac268686b5ebf02a5f31ca918af.tar.bz2 | |
fix coverity build target for gtk target change
| -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}} |