Fix temporary file permissions

Author: mharju

pipeline/compilers/__init__.py

@@ -148,6 +148,8 @@ def execute_command(self, command, cwd=None, stdout_captured=None):
             # Decide what to do with captured stdout.
             if stdout:
                 if stdout_captured:
-                    shutil.move(stdout.name, os.path.join(cwd or os.curdir, stdout_captured))
+                    output_filename = os.path.join(cwd or os.curdir, stdout_captured)
+                    shutil.move(stdout.name, output_filename)
+                    os.chmod(output_filename, 0644)
                 else:
                     os.remove(stdout.name)