Re: [PATCH] gnulib-tool.py: Fix "Creating directory" output.

2024-03-25 Thread Collin Funk
Hi Bruno, On 3/25/24 5:20 AM, Bruno Haible wrote: > You don't need this trick here, since we sort this part of the list > anyway, for compatibility with gnulib-tool.sh. > > This occurred also with the EXTRA_DIST augmentations: Oops, you are right. It is easy for me to forget where things are sor

Re: [PATCH] gnulib-tool.py: Fix "Creating directory" output.

2024-03-25 Thread Bruno Haible
Hi Collin, > This patch fixes this test failure: > > ./test-hello-c-gnulib-nonrecursive-1.out tmp1016386-out differ: byte 2612, > line 147 > --- ./test-hello-c-gnulib-nonrecursive-1.out 2024-03-24 03:30:48.391074752 > -0700 > +++ tmp1016386-out2024-03-24 18:33:30.855703830 -0700 > @@ -144,

[PATCH] gnulib-tool.py: Fix "Creating directory" output.

2024-03-24 Thread Collin Funk
ys([ os.path.dirname(pair[0]) +for pair in filetable['new'] ]))) +dirs = [ os.path.join(destdir, d) + for d in dirs ] for directory in dirs: if not isdir(directory): print('Crea