From 6c5887e9060e7d0c2a478d1051c7fe8c337940d4 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 2 Jun 2020 21:53:24 +0200
Subject: [PATCH] lint: make --force-yamllint error if yamllint is not
 installed

https://gitlab.com/fdroid/fdroidserver/-/merge_requests/753#note_353829401
---
 fdroidserver/lint.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/fdroidserver/lint.py b/fdroidserver/lint.py
index b39dd873..23f664fc 100644
--- a/fdroidserver/lint.py
+++ b/fdroidserver/lint.py
@@ -603,6 +603,9 @@ def main():
         if app.Disabled:
             continue
 
+        if options.force_yamllint:
+            import yamllint  # throw error if it is not installed
+
         # only run yamllint when linting individual apps.
         if len(options.appid) > 0 or options.force_yamllint: