From 9e8f5002f2ee86b7150c039cb69aa653ff454162 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mart=C3=AD=20Bol=C3=ADvar?= Date: Thu, 1 Jun 2023 14:39:28 -0700 Subject: [PATCH] west manifest: adjust error message MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Clarify the user's options a bit more. Requested-by: Alberto Escolar Piedras Signed-off-by: Martí Bolívar --- src/west/app/project.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/west/app/project.py b/src/west/app/project.py index 0c442040..45303e8d 100644 --- a/src/west/app/project.py +++ b/src/west/app/project.py @@ -567,8 +567,11 @@ def _die_if_manifest_project_filter(self, action): if self.config.get('manifest.project-filter') is not None: self.die(f'"west manifest --{action}" is not (yet) supported ' 'when the manifest.project-filter option is set. ' - 'Please contact the west developers if you have a ' - 'use case for this.') + 'Please clear the project-filter configuration ' + 'option and re-run this command, or contact the ' + 'west developers if you have a use case for resolving ' + 'the manifest while projects are made inactive by the ' + 'project filter.') def _dump(self, args, to_dump): if args.out: