Hi Bruno,
On 4/6/24 6:41 AM, Bruno Haible wrote:
> * gnulib-tool.py is between 2x and 300x faster than gnulib-tool.sh, depending
> on the arguments. This means, the goal of speedup has been fully achieved.
> The other goals (clear code, maintainability, etc.) are still present.
Yes, I meant the speed thing *mostly* as a joke. :)
I was trying to cleanup list comprehensions from this:
file_table = sorted([ file
for file in table1
if file not in table2 ])
to this:
file_table = sorted(set(table1).difference(table2))
because I find them easier to follow.
Collin
