mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-02-07 06:52:41 +00:00
pre-commit: build all hotdoc-configs targets
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/8149>
This commit is contained in:
parent
e131b8df8e
commit
11e37a9833
1 changed files with 2 additions and 1 deletions
|
@ -109,7 +109,8 @@ def get_hotdoc_confs_to_rebuild(builddir, modified_files) -> Tuple[Set, Set]:
|
||||||
|
|
||||||
def build(builddir):
|
def build(builddir):
|
||||||
subprocess.run(['ninja', '-C', builddir], check=True)
|
subprocess.run(['ninja', '-C', builddir], check=True)
|
||||||
subprocess.run(['ninja', '-C', builddir, 'subprojects/gstreamer/docs/hotdoc-configs.json'], check=True)
|
for subproject in ('gstreamer', 'gst-plugins-base', 'gst-plugins-good', 'gst-plugins-bad', 'gst-plugins-ugly', 'gst-rtsp-server', 'gst-libav', 'gst-editing-services'):
|
||||||
|
subprocess.run(['ninja', '-C', builddir, f'subprojects/{subproject}/docs/hotdoc-configs.json'], check=True)
|
||||||
|
|
||||||
def build_cache(builddir, subproject, targets, subdir):
|
def build_cache(builddir, subproject, targets, subdir):
|
||||||
if not targets:
|
if not targets:
|
||||||
|
|
Loading…
Reference in a new issue