From 712318c12dfbc3db49e8a1efe1685752552bdd15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20R=C3=BChsen?= <address@hidden>
Date: Wed, 13 Jun 2018 12:15:37 +0200
Subject: [PATCH] gnulib-tool.py: Import mktemp

* gnulib-tool.py: Import mktemp from tempfile
---
 gnulib-tool.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gnulib-tool.py b/gnulib-tool.py
index 467c31cac..a6b60250d 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
@@ -994,7 +995,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'
-- 
2.18.0