diff options
author | Tim Rühsen <tim.ruehsen@gmx.de> | 2018-06-13 12:15:37 +0200 |
---|---|---|
committer | Dmitry Selyutin <ghostmansd@gmail.com> | 2018-06-29 01:02:00 +0300 |
commit | 7729b926210671a1b272254c6b806ad19c652340 (patch) | |
tree | ec1572dc0b1b02de4bf5ea12a94c79b03c7d083d /gnulib-tool.py | |
parent | f59be4169e656da3be4510ebe68db83d8200074c (diff) | |
download | gnulib-7729b926210671a1b272254c6b806ad19c652340.tar.gz |
gnulib-tool.py: import mktemp
* gnulib-tool.py: Import mktemp from tempfile
Signed-off-by: Dmitry Selyutin <ghostmansd@gmail.com>
Diffstat (limited to 'gnulib-tool.py')
-rwxr-xr-x | gnulib-tool.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnulib-tool.py b/gnulib-tool.py index 32295b8972..443cc007bc 100755 --- a/gnulib-tool.py +++ b/gnulib-tool.py @@ -31,6 +31,7 @@ import random import shutil import argparse import subprocess as sp +from tempfile import mktemp from pprint import pprint from pygnulib import constants from pygnulib import classes @@ -988,7 +989,7 @@ if __name__ == '__main__': incompatibilities += pair[0] incompatibilities += ' %s' % pair[1] incompatibilities += constants.NL - tempname = tempfile.mktemp() + tempname = mktemp() with codecs.open(tempname, 'wb', 'UTF-8') as file: file.write(incompatibilities) sed_table = 's,^\\([^ ]*\\) ,\\1' + ' ' * 51 + ',\n' |