diff --git a/scripts/projects.py b/scripts/projects.py index 9242c694..8b745ebe 100644 --- a/scripts/projects.py +++ b/scripts/projects.py @@ -311,15 +311,15 @@ def os_cascade(): name = re.sub('-.*', '', os) series = os while True: - n = re.sub('\.[0-9]+$', '', series) - if n == series: - break - r.append(n) + n = re.sub('\.[0-9]+$', '', series) + if n == series: + break + r.append(n) series = n if not name in r: - r.append(name) + r.append(name) if not os in r: - r.append(os) + r.append(os) # e.g. os, linux, suse, suse-tumbleweed #return [ 'os', platform.system().lower(), name, os ] glob_os_cascade = r