From: Bruno Haible Date: Mon, 25 Mar 2024 12:19:53 +0000 (+0100) Subject: gnulib-tool.py: Simplify last change. X-Git-Tag: v1.0~230 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=758ac273deb4dd05aaeca8566c411ceaf251dd5d;p=gnulib.git gnulib-tool.py: Simplify last change. * pygnulib/GLImport.py (GLImport.execute): Remove unnecessary list to set and set to list conversion. --- 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: