changeset 19359:eb098b43a4f6

pygnulib.py: more file lists; old files <= cache
author Dmitry Selyutin <ghostmansd@gmail.com>
date Wed, 18 Oct 2017 10:52:27 +0300
parents 3e69e3a4adaa
children 266c550f0cc9
files pygnulib.py
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/pygnulib.py	Wed Oct 18 10:51:02 2017 +0300
+++ b/pygnulib.py	Wed Oct 18 10:52:27 2017 +0300
@@ -142,8 +142,11 @@
             else:
                 print("  ", file, file=sys.stdout, sep="")
 
-    old_files = frozenset(config.files)
+    old_files = frozenset(cache.files)
     new_files = frozenset(files | set(["m4/gnulib-tool.m4"]))
+    removed_files = {file for file in old_files if file not in new_files}
+    added_files = {file for file in new_files if file not in old_files}
+    kept_files = (old_files & new_files)
     return os.EX_OK