changeset 19345:4e431151e123

pygnulib.py: old and new files generation
author Dmitry Selyutin <ghostmansd@gmail.com>
date Tue, 03 Oct 2017 10:52:48 +0300
parents cb6990a52e11
children af8e6cc3f328
files pygnulib.py
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/pygnulib.py	Tue Oct 03 10:44:38 2017 +0300
+++ b/pygnulib.py	Tue Oct 03 10:52:48 2017 +0300
@@ -140,6 +140,9 @@
                 print("  ", src, " -> ", dst, file=sys.stdout, sep="")
             else:
                 print("  ", file, file=sys.stdout, sep="")
+
+    old_files = frozenset(config.files)
+    new_files = frozenset(files | set(["m4/gnulib-tool.m4"]))
     return os.EX_OK