Windows port: the tmpfile is going to be an exe...
authorDieter Verfaillie <dieterv@optionexplicit.be>
Mon, 5 Sep 2011 19:31:50 +0000 (21:31 +0200)
committerDieter Verfaillie <dieterv@optionexplicit.be>
Wed, 7 Sep 2011 20:01:04 +0000 (22:01 +0200)
... on Windows, so take care of the extension.

https://bugzilla.gnome.org/show_bug.cgi?id=620566

giscanner/dumper.py

index 61cba25..3f79bfa 100644 (file)
@@ -145,7 +145,13 @@ class DumpCompiler(object):
         f.close()
 
         o_path = self._generate_tempfile(tmpdir, '.o')
-        bin_path = self._generate_tempfile(tmpdir)
+
+        if os.name == 'nt':
+            ext = 'exe'
+        else:
+            ext = None
+
+        bin_path = self._generate_tempfile(tmpdir, ext)
 
         try:
             self._compile(o_path, c_path)