diff options
| author | Stéphane Cerveau <scerveau@collabora.com> | 2021-05-18 14:30:33 +0200 |
|---|---|---|
| committer | Stéphane Cerveau <scerveau@collabora.com> | 2021-05-18 14:41:41 +0200 |
| commit | 23f4266bbd345aeacc1934d4900939cdcbd0818a (patch) | |
| tree | 8574767dad8aea6577846dd6663658f54cd8f720 /scripts | |
| parent | cb74a24fbdde07cc5703c290babb46a01b9e5db0 (diff) | |
| download | gstreamer-23f4266bbd345aeacc1934d4900939cdcbd0818a.tar.gz | |
gstreamer-full: fix empty -Dgst-full-plugins=
When this option was given empty, when for example we don't
want any plugin in gstreamer full, the
build process was failing because an empty
plugin was created in gstinitstaticplugins.c.
Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-build/-/merge_requests/244>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/generate_init_static_plugins.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/generate_init_static_plugins.py b/scripts/generate_init_static_plugins.py index 5d7af8b9b7..230929fc91 100644 --- a/scripts/generate_init_static_plugins.py +++ b/scripts/generate_init_static_plugins.py @@ -79,7 +79,7 @@ if __name__ == "__main__": plugins_declaration = [] plugins_registration = [] - if options.plugins is None: + if options.plugins is None or options.plugins.isspace(): plugins = [] else: plugins = options.plugins.split(';') |