Hi Bruno, On 3/6/24 3:22 AM, Bruno Haible wrote: > Thanks, applied. (With an extra newline, just to make it clear that the > %s/%s/%s.%s arguments are the same in all three cases. Could be simplified > in the future, but that's not a priority now.)
I assumed the intent of the original code was to simplify it. I'll admit that my fix was a little lazy. :) > It's a strange way to disable Python code that is not ready yet :-) > > It is a goal to have gnulib-tool.py not only produce the same files, but also > the same stdout output as gnulib-tool. (Whereas the stderr output can be > reasonably different, depending on error situations.) The 'exit()' invocation > only means that neither Dmitry nor I have tested this code in a long long > time. Makes sense. It looked pretty close to what I remember seeing with the regular gnulib-tool. Collin
