changeset 38803:fb5e218a9cbd

filesystem: move git directory check below
author Dmitry Selyutin <ghostmansd@gmail.com>
date Fri, 08 Sep 2017 10:36:22 +0300
parents f20551a46fff
children 93ea6d51f228
files pygnulib/filesystem.py
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/pygnulib/filesystem.py	Tue Sep 05 23:33:50 2017 +0300
+++ b/pygnulib/filesystem.py	Fri Sep 08 10:36:22 2017 +0300
@@ -82,9 +82,9 @@
     def __init__(self, root, config):
         if not os.path.isdir(root):
             raise FileNotFoundError(root)
-        if not os.path.isdir(os.path.join(root, ".git")):
+        super().__init__(root, config)
+        if not os.path.isdir(os.path.join(self._root_, ".git")):
             raise TypeError("%r is not a gnulib repository")
-        super().__init__(root, config)
 
 
     def module(self, name, full=True):