Re: [PATCH] gnulib-tool.py: Comment out undefined variable.

2024-02-21 Thread Bruno Haible
Collin Funk wrote: > It seems that your commit 01cd78f9d682ff75cc5ab1c2d21b911bdd9215b8 > accidentally caused this. While cleaning up the handling of paths, I > think you accidentally removed this variable. Yep. Thanks for the fix! Applied. Bruno

Re: [PATCH] gnulib-tool.py: Comment out undefined variable.

2024-02-21 Thread Collin Funk
On 2/21/24 8:08 AM, Bruno Haible wrote: > I suppose it is not much more work to fix this line for real? > Hints: > - If there is no variable 'saved_auxdir' in this function, maybe there > is a variable 'auxdir'? > - What do the comments hint at? > - What does the history of the file ('git

Re: [PATCH] gnulib-tool.py: Comment out undefined variable.

2024-02-21 Thread Bruno Haible
Collin Funk wrote: > self.config.setAuxDir(saved_auxdir) > > NameError: name 'saved_auxdir' is not defined > > I commented out the offending line instead of removing it just in case > it is useful in the future. I suppose it is not much more work to fix

[PATCH] gnulib-tool.py: Comment out undefined variable.

2024-02-21 Thread Collin Funk
ork with the dummy module so I can start comparing the output while learning the code.From 6d94d65bfb0afc77c28b9c3a4633d156eb94906a Mon Sep 17 00:00:00 2001 From: Collin Funk Date: Wed, 21 Feb 2024 03:25:37 -0800 Subject: [PATCH] gnulib-tool.py: Comment out undefined variable. * pygnulib/GLTestDir.py (G