From 7c8c79433a47f2096315beea29ce5daf62edf938 Mon Sep 17 00:00:00 2001 From: Dmitry Selyutin Date: Wed, 13 Sep 2017 22:17:26 +0300 Subject: [PATCH] config: normalize file system paths --- pygnulib/config.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pygnulib/config.py b/pygnulib/config.py index 15dba6e80d..cb17363dbb 100644 --- a/pygnulib/config.py +++ b/pygnulib/config.py @@ -406,6 +406,8 @@ class Base: value = set(seq) elif key == "lgpl" and value not in (0, 2, 3): raise ValueError("lgpl: None, 2 or 3 expected") + elif key.endswith("_base"): + value = _os_.path.normpath(value) self.__table[key] = value -- 2.39.5