From 758ac273deb4dd05aaeca8566c411ceaf251dd5d Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Mon, 25 Mar 2024 13:19:53 +0100 Subject: [PATCH] gnulib-tool.py: Simplify last change. * pygnulib/GLImport.py (GLImport.execute): Remove unnecessary list to set and set to list conversion. --- ChangeLog | 6 ++++++ pygnulib/GLImport.py | 4 ++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index bd00575fbb..01c738c021 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2024-03-25 Bruno Haible + + 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 gnulib-tool.py: Fix "Creating directory" output. diff --git a/pygnulib/GLImport.py b/pygnulib/GLImport.py index e101af82f7..803f2d85dd 100644 --- a/pygnulib/GLImport.py +++ b/pygnulib/GLImport.py @@ -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: -- 2.39.5