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