diff options
author | David Bremner <david@tethera.net> | 2020-07-16 15:59:45 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2020-07-16 15:59:45 -0300 |
commit | 13116c5cedf58171d04b5f518b3d6f2fe8aea99d (patch) | |
tree | 1853069de406ffdb253ace1d3ed96ca269f22cad /configure | |
parent | a05da45523a8ce65a2db73040824bb7307e7351d (diff) |
configure: make sure WITH_PYTHON_DOCS is initialized
Thanks to pazz for reporting the problem.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -108,6 +108,7 @@ PREFIX=/usr/local LIBDIR= WITH_DOCS=1 WITH_API_DOCS=1 +WITH_PYTHON_DOCS=1 WITH_EMACS=1 WITH_DESKTOP=1 WITH_BASH=1 @@ -803,6 +804,7 @@ if [ $have_python3 -eq 1 ]; then have_python3_cffi=1 WITH_PYTHON_DOCS=1 else + WITH_PYTHON_DOCS=0 printf "No (will not install CFFI-based python bindings).\n" fi rm -rf __pycache__ # cffi.FFI().verify() uses this space |