From 0635a249f31982ec98b9427454bf195b25a01e94 Mon Sep 17 00:00:00 2001 From: "Salvador E. Tropea" Date: Tue, 5 Jul 2022 13:48:28 -0300 Subject: [PATCH] Fixed wrong extra_deb name --- kibot/dep_downloader.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kibot/dep_downloader.py b/kibot/dep_downloader.py index b0b14bef..b4edc2a1 100644 --- a/kibot/dep_downloader.py +++ b/kibot/dep_downloader.py @@ -772,7 +772,7 @@ def check_tool_dep(context, dep, fatal=False): do_log_err('Download page: '+dep.url_down, fatal) if dep.deb_package: do_log_err('Debian package: '+dep.deb_package, fatal) - if dep.deb_extra: + if dep.extra_deb: do_log_err('- Recommended extra Debian packages: '+' '.join(dep.deb_package), fatal) for comment in dep.comments: do_log_err(comment, fatal)