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 | |
| parent | cb74a24fbdde07cc5703c290babb46a01b9e5db0 (diff) | |
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>
| -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 5d7af8b..230929f 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(';') |