From 3ce6eac53f7397d52e7fec69e2dd857cfa32404c Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Sun, 8 Dec 2019 10:39:55 +0000 Subject: [PATCH] projects.py: Add -dev as a possible package suffix Signed-off-by: Jan Lindemann --- scripts/projects.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/projects.py b/scripts/projects.py index 2b97a0a5..1bb21599 100644 --- a/scripts/projects.py +++ b/scripts/projects.py @@ -163,7 +163,7 @@ class Projects(object): return r def strip_module_from_spec(self, mod): - return re.sub(r'-devel$|-run$', '', re.split('([=><]+)', mod)[0].strip()) + return re.sub(r'-dev$|-devel$|-run$', '', re.split('([=><]+)', mod)[0].strip()) def get_section(self, path, section): r = ''