diff options
| author | Kees Cook <[email protected]> | 2020-02-21 16:02:39 -0800 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2020-02-25 03:11:04 -0700 |
| commit | adc10f5b0a03606e30c704cff1f0283a696d0260 (patch) | |
| tree | 31b98357a535edc12c341e188be00aa4bdde5899 /tools/perf/scripts/python/export-to-sqlite.py | |
| parent | 53ace1195263b30fd593677dd67559e879ed9aa2 (diff) | |
docs: Fix empty parallelism argument
When there was no parallelism (no top-level -j arg and a pre-1.7
sphinx-build), the argument passed would be empty ("") instead of just
being missing, which would (understandably) badly confuse sphinx-build.
Fix this by removing the quotes.
Reported-by: Rafael J. Wysocki <[email protected]>
Fixes: 51e46c7a4007 ("docs, parallelism: Rearrange how jobserver reservations are made")
Cc: [email protected] # v5.5 only
Signed-off-by: Kees Cook <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-sqlite.py')
0 files changed, 0 insertions, 0 deletions