changeset 38961:41f12c28f98d

config: normalize file system paths
author Dmitry Selyutin <ghostmansd@gmail.com>
date Wed, 13 Sep 2017 22:17:26 +0300
parents 95ac6099ebaf
children 8df7436cb316
files pygnulib/config.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/pygnulib/config.py	Wed Sep 13 22:17:10 2017 +0300
+++ b/pygnulib/config.py	Wed Sep 13 22:17:26 2017 +0300
@@ -406,6 +406,8 @@
             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