diff options
| author | Friedemann Kleint <Friedemann.Kleint@qt.io> | 2020-06-05 07:50:08 +0200 |
|---|---|---|
| committer | Friedemann Kleint <Friedemann.Kleint@qt.io> | 2020-06-05 07:50:08 +0200 |
| commit | ac144d902b18740aa471f6bc094ce4da91917d8c (patch) | |
| tree | 49879a6141415607f5593c08961600f692df726a /build_scripts/options.py | |
| parent | 42a784c53ead093c77f8562c0f4fd66810dc7017 (diff) | |
| parent | a576b6264472769c4bfbf8d17ed82bacf189096e (diff) | |
Merge remote-tracking branch 'origin/5.15' into dev
Change-Id: I1249882922ea66d35f7a43eeb8cc720f261591c1
Diffstat (limited to 'build_scripts/options.py')
| -rw-r--r-- | build_scripts/options.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build_scripts/options.py b/build_scripts/options.py index 4229a2c10..db2a7e367 100644 --- a/build_scripts/options.py +++ b/build_scripts/options.py @@ -182,6 +182,8 @@ OPTION = { # This is used automatically by distutils.command.install object, to # specify the final installation location. "FINAL_INSTALL_PREFIX": option_value("prefix", remove=False), + # This is used to identify the template for doc builds + "DOC_BUILD_ONLINE": has_option("doc-build-online"), } _deprecated_option_jobs = option_value('jobs') if _deprecated_option_jobs: |