diff options
| author | Jack Lloyd <[email protected]> | 2018-12-03 21:58:44 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-12-03 21:58:44 -0500 |
| commit | 25c2a2d84efa1a9e1f17ecc2713f0acd0992a26f (patch) | |
| tree | b4bbf224f56f19e3eae5785ad2eed0ad7ee08132 | |
| parent | e0ce7d226174135831202a2468a18411c427b914 (diff) | |
Avoid parallel build with Sphinx before 1.4
As Ubuntu 16.04 has v1.3 and it crashes when you use -j
| -rwxr-xr-x | src/scripts/build_docs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/build_docs.py b/src/scripts/build_docs.py index 6de6f6d45..00d15f7eb 100755 --- a/src/scripts/build_docs.py +++ b/src/scripts/build_docs.py @@ -129,7 +129,7 @@ def sphinx_supports_concurrency(): match = re.match(r'^(?:[a-zA-Z_-]+) v?(([0-9]+)\.([0-9]+))', output) # default to using concurrency when uncertain version = StrictVersion(match.group(1)) if match else StrictVersion('1.2') - return version >= StrictVersion('1.2') + return version >= StrictVersion('1.4') def read_config(config): try: |