summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTim Rühsen <tim.ruehsen@gmx.de>2020-02-08 16:59:35 +0000
committerTim Rühsen <tim.ruehsen@gmx.de>2020-02-08 16:59:35 +0000
commitd9bc5bfc8da34da664413f683debc097f170eb99 (patch)
treef9977db95f98ed84a22522a33dc06334b10be948
parentdcec82cd4dde985f83b57fd7ef6bb8a0f8fbda91 (diff)
parent3492c47527d269a9b2176ed0a16997c456d2894e (diff)
downloadgnutls-d9bc5bfc8da34da664413f683debc097f170eb99.tar.gz
Merge branch 'tmp-lgtm' into 'master'
.lgtm.yml: Fix --disable-documentation to --disable-doc [skip ci] See merge request gnutls/gnutls!1191
-rw-r--r--.lgtm.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.lgtm.yml b/.lgtm.yml
index 53c26acaad..82ecb4d8f8 100644
--- a/.lgtm.yml
+++ b/.lgtm.yml
@@ -11,6 +11,6 @@ extraction:
- "./configure --enable-mini-gmp --disable-documentation"
- "make"
- "cd .."
- - "PKG_CONFIG_PATH=\"`pwd`/nettle\" LDFLAGS=\"-L`pwd`/nettle\" ./configure --disable-tests --disable-documentation"
+ - "PKG_CONFIG_PATH=\"`pwd`/nettle\" LDFLAGS=\"-L`pwd`/nettle\" ./configure --disable-tests --disable-doc"
index:
build_command: "LD_LIBRARY_PATH=\"`pwd`/nettle/.lib\" make"