]> Savannah Git Hosting - gnulib.git/commitdiff
gnulib-tool.py: Simplify last change.
authorBruno Haible <bruno@clisp.org>
Mon, 25 Mar 2024 12:19:53 +0000 (13:19 +0100)
committerBruno Haible <bruno@clisp.org>
Mon, 25 Mar 2024 12:19:53 +0000 (13:19 +0100)
* pygnulib/GLImport.py (GLImport.execute): Remove unnecessary list to
set and set to list conversion.

ChangeLog
pygnulib/GLImport.py

index bd00575fbb2999f26f1b603850a36517936fdba3..01c738c021cb148ca304468a5fee97819616049d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2024-03-25  Bruno Haible  <bruno@clisp.org>
+
+       gnulib-tool.py: Simplify last change.
+       * pygnulib/GLImport.py (GLImport.execute): Remove unnecessary list to
+       set and set to list conversion.
+
 2024-03-25  Collin Funk  <collin.funk1@gmail.com>
 
        gnulib-tool.py: Fix "Creating directory" output.
index e101af82f71359f299b3de46c94dce50d8711f96..803f2d85dd212c79fa8faf2e039f53c9a3d87852 100644 (file)
@@ -1081,8 +1081,8 @@ AC_DEFUN([%s_FILE_LIST], [\n''' % macro_prefix
         if gentests:
             dirs += [testsbase]
         dirs += [auxdir]
-        dirs += sorted(list(dict.fromkeys([ os.path.dirname(pair[0])
-                                            for pair in filetable['new'] ])))
+        dirs += sorted([ os.path.dirname(pair[0])
+                         for pair in filetable['new'] ])
         dirs = [ os.path.join(destdir, d)
                  for d in dirs ]
         for directory in dirs: