From 23f4266bbd345aeacc1934d4900939cdcbd0818a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Cerveau?= Date: Tue, 18 May 2021 14:30:33 +0200 Subject: [PATCH] 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: --- scripts/generate_init_static_plugins.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(';')