diff options
| author | Daiki Ueno <dueno@redhat.com> | 2016-08-26 17:20:06 +0200 |
|---|---|---|
| committer | Daiki Ueno <ueno@gnu.org> | 2017-01-24 12:36:06 +0100 |
| commit | 9f632bed73c8800af16a69c97bd4c315bd350f8b (patch) | |
| tree | 014408e1632b4d436b85cfbbfd34f28e892ab2ca /doc | |
| parent | 91861f634a1299af28a29de70c45f469562123f6 (diff) | |
build: Make libffi closure optional
libffi's closure support is not available on all platforms and may fail
at run time if running under a stricter SELinux policy. Fallback to
pre-compiled closures if it is not usable.
https://bugs.freedesktop.org/show_bug.cgi?id=97611
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index c161b19..ae59530 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -64,6 +64,7 @@ IGNORE_HFILES= \ rpc-message.h \ util.h \ virtual.h \ + virtual-fixed.h \ array.h \ compat.h \ $(NULL) |