[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
gnulib-tool.py: Fix an undefined function name.
From: |
Collin Funk |
Subject: |
gnulib-tool.py: Fix an undefined function name. |
Date: |
Fri, 3 May 2024 17:37:07 -0700 |
User-agent: |
Mozilla Thunderbird |
In main.py a call to mkdtemp() was the use of the 'tempfile' module
prefix.
Also, Python seems really good at cleaning up the temporary directory
created with tempfile.TemporaryDirectory() atleast on GNU/Linux.
There might be some ways to interrupt it, or some platform specific
behavior to that. Just in case of that, I put back the 'glpy' prefix.
Collin
0001-gnulib-tool.py-Fix-an-undefined-function-name.patch
Description: Text Data
- gnulib-tool.py: Fix an undefined function name.,
Collin Funk <=
- Re: gnulib-tool.py: Fix an undefined function name., Bruno Haible, 2024/05/03
- Re: gnulib-tool.py: Fix an undefined function name., Collin Funk, 2024/05/03
- Re: gnulib-tool.py: Fix an undefined function name., Bruno Haible, 2024/05/04
- Re: gnulib-tool.py: Fix an undefined function name., Collin Funk, 2024/05/04
- Re: gnulib-tool.py: Fix an undefined function name., Bruno Haible, 2024/05/04
- Re: gnulib-tool.py: Fix an undefined function name., Collin Funk, 2024/05/04
- Re: gnulib-tool.py: Fix an undefined function name., Bruno Haible, 2024/05/07