From 2fa0dc3807fb14b4a5599c3ebba852339df8832655dd4c9d6bd6607d386efabd Mon Sep 17 00:00:00 2001 From: Dirk Mueller Date: Sat, 30 Sep 2017 13:02:04 +0000 Subject: [PATCH] OBS-URL: https://build.opensuse.org/package/show/devel:openSUSE:Factory:rpmlint/rpmlint-mini?expand=0&rev=72 --- rpmlint-mini.config | 1 + 1 file changed, 1 insertion(+) diff --git a/rpmlint-mini.config b/rpmlint-mini.config index e032add..e8919df 100644 --- a/rpmlint-mini.config +++ b/rpmlint-mini.config @@ -1,6 +1,7 @@ #!/usr/bin/python3 import os, glob, Pkg +from past.builtins import execfile configs = [ '/opt/testing/share/rpmlint/config' ] if os.environ.get("RPMLINT_MINI_CONFIG", None):