gnulib-tool.py: Fix an undefined function name.
commitb86d31ade5e8284df1efe339890b674eedf89bcd
authorCollin Funk <collin.funk1@gmail.com>
Sat, 4 May 2024 00:26:18 +0000 (3 17:26 -0700)
committerCollin Funk <collin.funk1@gmail.com>
Sat, 4 May 2024 00:27:43 +0000 (3 17:27 -0700)
treee122be1cd8d84dfcf2c77447fef88360e829dfd9
parent6213c5bd72d15ca5e1ea9c34122899e02fed448c
gnulib-tool.py: Fix an undefined function name.

* pygnulib/main.py (main_with_exception_handling): Use the tempfile
module prefix when calling mkdtemp(). Use the 'glpy' prefix for the
temporary directory that exists for the entirety of the program.
ChangeLog
pygnulib/main.py