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>
This commit is contained in:
Stéphane Cerveau 2021-05-18 14:30:33 +02:00
parent cb74a24fbd
commit 23f4266bbd

View file

@ -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(';')