diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2019-12-02 13:05:22 +0000 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2019-12-02 13:05:22 +0000 |
commit | 7a14109f45fe438efe9629b998c0c4594789dd41 (patch) | |
tree | c8d431baef295d69e5d560449b17cb0ab168a2b3 | |
parent | e62a9bcbd1389daedbc5f5c72e2a2d3c3a19ff92 (diff) | |
parent | e22661a673d3611d0ad96e4dff81f1730eebaa13 (diff) | |
download | gnutls-7a14109f45fe438efe9629b998c0c4594789dd41.tar.gz |
Merge branch 'tmp-libopts-fix' into 'master'
libopts: include new files into dist
Closes #867
See merge request gnutls/gnutls!1126
-rw-r--r-- | .gitlab-ci.yml | 2 | ||||
-rw-r--r-- | src/libopts/Makefile.am | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f9fc9a9949..2283ccc333 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -72,6 +72,8 @@ doc-dist.Fedora: - make -C doc gnutls.html - PATH="$PATH:/usr/share/sgml/docbook/xsl-stylesheets-1.79.1/epub/bin/" make -C doc gnutls.epub && make -C doc/latex gnutls.pdf +# check whether distribution with or without included libopts is ok + - make distcheck DISTCHECK_CONFIGURE_FLAGS="--enable-local-libopts --disable-tests" - make distcheck tags: - shared diff --git a/src/libopts/Makefile.am b/src/libopts/Makefile.am index 54ba89e0bb..1c46ca3d98 100644 --- a/src/libopts/Makefile.am +++ b/src/libopts/Makefile.am @@ -54,4 +54,4 @@ EXTRA_DIST += \ restore.c save.c sort.c \ stack.c stdnoreturn.in.h streqvcmp.c \ text_mmap.c time.c tokenize.c \ - usage.c version.c + usage.c version.c save-flags.c save-flags.h |