From: Dmitry Selyutin Date: Tue, 3 Oct 2017 07:52:48 +0000 (+0300) Subject: pygnulib.py: old and new files generation X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9807823753439ef45b8908a63481908b61a7016c;p=thirdparty%2Fgnulib.git pygnulib.py: old and new files generation --- diff --git a/pygnulib.py b/pygnulib.py index 8bdd2ea4dd..0a6a9f8453 100755 --- a/pygnulib.py +++ b/pygnulib.py @@ -140,6 +140,9 @@ def import_hook(script, gnulib, namespace, verbosity, options, *args, **kwargs): 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